First Page | Document Content | |
---|---|---|
Date: 2010-08-30 08:34:57Proof 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 PROOFSAdd to Reading ListSource URL: www.iam.unibe.chDownload Document from Source WebsiteFile Size: 1,02 MBShare Document on Facebook |