Formal Stuff
Create Account
Login
Logged in:
Logout
P1 [Church]
Propositional Logic
Classical Propositional Logic »
P1 [Church]
P2 [Church]
Intuitionistic Propositional Logic »
PiS [Church]
PH
Modal Propositional Logic
First Order Logic
Classical Systems
Intuitionistic Systems
Godel,Escher,Bach
#
Proof Step
Reason
1
Mark
Otto
2
Jacob
Thornton
3
Larry
the Bird