Back to Results
First PageMeta Content
Metalogic / Formal languages / Semantics / Philosophical logic / Logical syntax / Entailment / Interpretation / Sequent calculus / Lambda calculus / Logic / Mathematics / Mathematical logic


arXiv:0908.1390v3 [cs.LO] 23 Sep 2010
Add to Reading List

Document Date: 2010-09-23 22:29:06

Open Document

File Size: 384,37 KB

Share Result on Facebook
UPDATE