- Record: found
- Abstract: not found
- Book Chapter: not found
Handbook of Philosophical Logic
Intuitionistic Logic
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references70
- Record: found
- Abstract: not found
- Book Chapter: not found
Ideas and Results in Proof Theory
Dag Prawitz (1971)
- Record: found
- Abstract: not found
- Book Chapter: not found
Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
Jean-Yves Girard (1971)
- Record: found
- Abstract: not found
- Book: not found
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
A. S. Troelstra (1973)
Author and book information
Comments
Comment on this book
Book chapters
Similar content1,411
Cited by18
- THE LOGIC OF JUSTIFICATIONAuthors: SERGEI ARTEMOV
- Three Types of PolarityAuthors: Frans Zwarts
- Equilibrium logicAuthors: David M Pearce