First Page | Document Content | |
---|---|---|
![]() Date: 2007-08-09 21:04:38Logic Mathematical logic Abstraction Proof theory Propositional calculus Predicate logic Logical truth First-order logic Tautology Existential graph Cut-elimination theorem Well-formed formula | Add to Reading List |