Professional Documents
Culture Documents
Pr0gett0 Al3ph: Foundations of Mathematics
Pr0gett0 Al3ph: Foundations of Mathematics
Pr0gett0 Al3ph
Foundations of Mathematics
al3ph
Pr0gett0 Al3ph
Home Home
and ax-3.3
14
Step Hyp 1 2 3
1, 2 mp
21
Colors of variables: wff Obj Prd1 Prd2 Fnc Fnc1 Fnc2 Term Syntax hints: fn 1 fa
4
1 of 1