![Predicate logic / Propositional calculus / Logical syntax / Proof theory / First-order logic / Natural deduction / Well-formed formula / Atomic formula / Intuitionistic logic / Logic / Mathematical logic / Mathematics Predicate logic / Propositional calculus / Logical syntax / Proof theory / First-order logic / Natural deduction / Well-formed formula / Atomic formula / Intuitionistic logic / Logic / Mathematical logic / Mathematics](https://www.pdfsearch.io/img/3a26cb5d9701d04ec45356a83cc0cefc.jpg)
| Document Date: 2010-07-21 04:18:08 Open Document File Size: 802,52 KBShare Result on Facebook
IndustryTerm natural deduction systems / / Organization Logic Helmut Schwichtenberg Mathematisches Institut / Contents Chapter / / Position careful mathematician / /
SocialTag |