Back to Results
First PageMeta Content
Proof theory / Natural deduction / Linear logic / Sequent / Categorical logic / First-order logic / Intuitionistic logic / Interpretation / Propositional calculus / Logic / Mathematical logic / Mathematics


CATEGORICAL MODELS OF FIRST-ORDER CLASSICAL PROOFS
Add to Reading List

Document Date: 2010-08-30 08:34:57

Open Document

File Size: 1,02 MB

Share Result on Facebook
UPDATE