formula)+(formulaformula)+(formulaformula))
Type
p == inr(inl(p))
x:Formula. x Formula Type| Who Cites Formula? | |
| Formula | Def Formula == rec(formula.Var+formula+(formulaformula)+(formulaformula)+(formulaformula)) |
| Thm* Formula Type | |
| fnot | Def p == inr(inl(p)) |
| Thm* x:Formula. x Formula | |
| Var | Def Var == Atom |
| Thm* Var Type |
About:
 |  |  |  |  |  |  |  |  |  |