Back to Results
First PageMeta Content
Logical syntax / Propositional calculus / Formal languages / Metalogic / First-order logic / TeX / Substitution / Theorem / Formal system / Logic / Mathematics / Mathematical logic


TUGboat, Volume[removed]), No[removed]Inference Rules
Add to Reading List

Document Date: 2012-08-21 13:33:21


Open Document

File Size: 213,05 KB

Share Result on Facebook
UPDATE