Back to Results
First PageMeta Content
Metalogic / Model theory / Formal languages / Proof theory / Quantifier elimination / Unification / Well-formed formula / Decidability / Term algebra / Logic / Mathematical logic / Mathematics


Complete Axiomatizations
Add to Reading List

Document Date: 2010-06-28 17:11:11

Open Document

File Size: 788,90 KB

Share Result on Facebook
UPDATE