Back to Results
First PageMeta Content
Proof theory / Formal systems / Methods of proof / Mathematical proofs / Deductive reasoning / Propositional calculus / Natural deduction / Theorem / Rule of inference / First-order logic / Mathematical induction / Formal proof


Logic and Proof Jeremy Avigad Robert Y. Lewis Floris van Doorn Version 891edf9, updated at:06:
Add to Reading List

Document Date: 2016-08-13 19:54:37

Open Document

File Size: 395,07 KB

Share Result on Facebook
UPDATE