Foundations for analysis and proof theory

Synthese 60 (2):159 - 200 (1984)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00485460
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,370
Through your library
References found in this work BETA
Two Applications of Logic to Mathematics.Gaisi Takeuti - 1978 - Princeton University Press.
Russell's Mathematical Logic.Kurt Gödel - 1944 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Journal of Symbolic Logic. Northwestern University Press. pp. 119--141.
Systems of Predicative Analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.
A Survey of Proof Theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.

View all 12 references / Add more references

Citations of this work BETA
Hilbert's Programs: 1917-1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.
Hilbert's Program Sixty Years Later.Wilfried Sieg - 1988 - Journal of Symbolic Logic 53 (2):338-348.

Add more citations

Similar books and articles
Added to PP index
2009-01-28

Total downloads
42 ( #127,040 of 2,193,779 )

Recent downloads (6 months)
1 ( #290,983 of 2,193,779 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature