Proof Theory and Intuitionistic Systems
New York,Springer-Verlag (1971)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Intuitionistic mathematics Proof theory | |||||||||
| Categories | ||||||||||
| Buy the book | $43.15 new (29% off) $59.95 direct from Amazon Amazon page | |||||||||
| Call number | QA9.L28 no. 212 | |||||||||
| ISBN(s) | 354005541X | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesDov M. Gabbay (2000). Goal-Directed Proof Theory. Kluwer Academic.
Jeremy Avigad (2004). Forcing in Proof Theory. Bulletin of Symbolic Logic 10 (3):305-333.
A. Kino, John Myhill & Richard Eugene Vesley (eds.) (1970). Intuitionism and Proof Theory. Amsterdam,North-Holland Pub. Co..
Michael A. E. Dummett (2000). Elements of Intuitionism. Oxford University Press.
Horst Luckhardt (1973). Extensional Gödel Functional Interpretation. New York,Springer-Verlag.
Sara Negri (2011). Proof Analysis: A Contribution to Hilbert's Last Problem. Cambridge University Press.
A. S. Troelstra (1973). Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. New York,Springer.
Daniel Maurice Raphaël Leivant (1979). Absoluteness of Intuitionistic Logic. Mathematisch Centrum.
Neil Tennant (1994). Intuitionistic Mathematics Does Not Needex Falso Quodlibet. Topoi 13 (2):127-133.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
