Back to Results
First PageMeta Content
Deduction / Mathematical logic / Mathematical proofs / Logical consequence / Natural deduction / Entailment / Mizar system / First-order logic / Existential quantification / Logic / Mathematics / Proof theory


Document Date: 2004-01-15 09:13:24

Open Document

File Size: 120,21 KB

Share Result on Facebook
UPDATE