Journal of Symbolic Logic 53 (2):364-384 (1988)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/S0022481200028310
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,556
Through your library

References found in this work BETA

Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.
Philosophy of Mathematics.Paul Benacerraf & Hilary Putnam - 1985 - Philosophy of Science 52 (3):488-489.
Fragments of Arithmetic.Wilfried Sieg - 1983 - Annals of Pure and Applied Logic 28 (1):33-71.

View all 11 references / Add more references

Citations of this work BETA

Relative Truth Definability of Axiomatic Truth Theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1):157-177.
Hilbert's Programs: 1917–1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.
A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.

View all 41 citations / Add more citations

Similar books and articles

The Pursuit of Rigor: David Hilbert's Early Philosophy of Mathematics.Yoshinori Ogawa - 2002 - Dissertation, The University of British Columbia (Canada)
Hilbert's Program Then and Now.Richard Zach - 2007 - In Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: North Holland. pp. 411–447.
The Ways of Hilbert's Axiomatics: Structural and Formal.Wilfried Sieg - 2014 - Perspectives on Science 22 (1):133-157.

Analytics

Added to PP index
2009-01-28

Total views
60 ( #153,511 of 2,326,770 )

Recent downloads (6 months)
2 ( #429,609 of 2,326,770 )

How can I increase my downloads?

Downloads

My notes