Back to Results
First PageMeta Content
Propositional calculus / Formal systems / Boolean algebra / Logical truth / Natural deduction / Rule of inference / Sequent calculus / Double negative elimination / Sequent / Logic / Mathematical logic / Proof theory


A Brief History of Natural Deduction
Add to Reading List

Document Date: 2009-10-30 18:11:37

Open Document

File Size: 458,37 KB

Share Result on Facebook
UPDATE