Basic proof theory, A.S. Troelstra and H. Schwichtenberg
Journal of Logic, Language and Information 7 (2):221-223 (1998)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesWolfgang Burr (2002). Concepts and Aims of Functional Interpretations: Towards a Functional Interpretation of Constructive Set Theory. Synthese 133 (1-2):257 - 274.
Peter J. Eccles (1997). An Introduction to Mathematical Reasoning: Lectures on Numbers, Sets, and Functions. Cambridge University Press.
A. S. Troelstra (1999). Marginalia on Sequent Calculi. Studia Logica 62 (2):291-303.
Ulrich Berger, Stefan Berghofer, Pierre Letouzey & Helmut Schwichtenberg (2006). Program Extraction From Normalization Proofs. Studia Logica 82 (1):25 - 49.
Marc Bezem (1985). Isomorphisms Between HEO and HROE, ECF and ICFE. Journal of Symbolic Logic 50 (2):359 - 371.
Peter Aczel, Harold Simmons & S. S. Wainer (eds.) (1992). Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990. Cambridge University Press.
A. S. Troelstra (1973). Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. New York,Springer.
A. S. Troelstra (2000). Basic Proof Theory. Cambridge University Press.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads3 ( #202,056 of 549,528 )Recent downloads (6 months)1 ( #63,397 of 549,528 )How can I increase my downloads? |
My notes
Discussion
