Back to Results
First PageMeta Content
Predicate logic / Propositional calculus / Logical syntax / Proof theory / First-order logic / Natural deduction / Well-formed formula / Atomic formula / Intuitionistic logic / Logic / Mathematical logic / Mathematics


Mathematical Logic Helmut Schwichtenberg
Add to Reading List

Document Date: 2010-07-21 04:18:08

Open Document

File Size: 802,52 KB

Share Result on Facebook

IndustryTerm

natural deduction systems / /

Organization

Logic Helmut Schwichtenberg Mathematisches Institut / Contents Chapter / /

Position

careful mathematician / /

SocialTag