![Proof theory / Mathematical logic / Logic / Mathematics / CurryHoward correspondence / Dependently typed programming / Logic in computer science / Philosophy of computer science / Type theory / Symbol / Sequent / Confidence interval Proof theory / Mathematical logic / Logic / Mathematics / CurryHoward correspondence / Dependently typed programming / Logic in computer science / Philosophy of computer science / Type theory / Symbol / Sequent / Confidence interval](https://www.pdfsearch.io/img/1d30bd75131a644f4889199abedeb41e.jpg) Date: 2005-05-20 05:14:17Proof theory Mathematical logic Logic Mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Symbol Sequent Confidence interval | | Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in theAdd to Reading ListSource URL: schematics.sourceforge.netDownload Document from Source Website File Size: 105,21 KBShare Document on Facebook
|