A.S. Troelstra  Home/Search
Context
Related
| staff.science.uva.nl/~anne/eolss.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: staff.science.uva.nl/~anne/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this article: finitism, predicativism, intuitionism (INT), constructive recursive mathematics (CRM), and Bishop's constructive mathematics (BCM). We will be short about finitism and predicativism, and concentrate on the other three instead (Update)
Active bibliography (related documents): More All
0.5: Highlights in Proof Theory - Feferman (2000) (Correct)
0.3: Proof Mining in Analysis: Computability and Complexity - Oliva (2001) (Correct)
0.3: Marginalia on Sequent Calculi - Troelstra (1998) (Correct)
Similar documents based on text: More All
0.2: From Constructivism to Computer Science - Troelstra (1999) (Correct)
0.2: History of Constructivism in the 20th Century - Troelstra (Correct)
0.2: Constructive Learning and New Media - Ketamo, Suomala, Alamaki, Vasama (2000) (Correct)
BibTeX entry: (Update)
@misc{ troelstra-constructivism,
author = "A.S. Troelstra",
title = "Constructivism and Proof Theory",
url = "citeseer.ist.psu.edu/troelstra03constructivism.html" }
Citations (may not include all citations):343 Introduction to Metamathematics (context) - Kleene - 1952
104 Metamathematical Investigation of Intuitionistic Arithmetic .. (context) - Troelstra - 1973
88 Basic Proof Theory (context) - Troelstra, Schwichtenberg - 1996
75 Constructive Analysis (context) - Bishop, Bridges - 1985
58 A Proof-Theoretical Study (context) - Prawitz - 1965
46 Proof Theory and Logical Complexity (context) - Girard - 1987
40 Iterated Inductive Definitions and Subsystems of Analysis: R.. (context) - Buchholz, Feferman et al. - 1981
32 Springer-Verlag (context) - Schutte - 1977
32 Springer-Verlag (context) - Pohlers, An - 1989
30 Grundlagen der Mathematik (context) - Hilbert, Bernays - 1970
30 Basic Simple Type Theory (context) - Hindley - 1997
30 Grundlagen der Mathematik (context) - Hilbert, Bernays - 1968
26 Elements of Intuitionism (context) - Dummett - 2000
25 Varieties of Constructive Mathematics (context) - Bridges, Richman - 1987
11 The Foundations of Intuitionistic Mathematics (context) - Kleene, Vesley - 1965
10 Translations of Mathematical Monographs (context) - Dragalin, Introduction et al. - 1979
9 Lectures on Constructive Mathematical Analysis (context) - Kushner - 1973
8 Vollstandige Systeme modaler und intuitionistischer Logik (context) - Schutte - 1968
8 Selected Papers in Proof Theory (context) - Mints - 1992
8 Selected Papers in Proof Theory (context) - Mints - 1992
4 Handbook of Proof Theory (context) - Buss - 1998
3 English translation of Gentzen's papers (context) - Gentzen, Papers et al. - 1969
1 Translated as Logical Writings (context) - Herbrand, Presses et al. - 1971
1 and American Elsevier Publ (context) - Brouwer, Philosophy et al. - 1975
1 North-Holland Publ (context) - Troelstra, van Dalen et al. - 1988
1 North-Holland Publ (context) - Fitting, Model et al. - 1969
1 North-Holland Publ (context) - Takeuti, nd - 1987
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC