A symposium on Hilbert's program

&
Journal of Symbolic Logic 53 (2):337 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200028280

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reviewed Work: David Hilbert's lectures on the foundations of arithmetic and logic 1917–1933 by William Ewald; Wilfried Sieg. [REVIEW]Review by: Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (3):363-365,.
David Hilbert’s lectures on the foundations of arithmetic and logic 1917–1933. Edited by William Ewald and Wilfried Sieg. Springer, Berlin, Heidelberg and New York, 2013, xxv + 1062 pp. [REVIEW]Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (3):363-365.
Wilfried Sieg. Hilbert's Programs and Beyond. xii + 440 pp., illus., bibl., index. Oxford: Oxford University Press, 2013. $85 .William Ewald;, Wilfried Sieg ., Michael Hallett . David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917–1933. xxv + 1,062 pp., tables, bibl., indexes. Berlin: Springer, 2013. $139. [REVIEW]Tom Archibald - 2015 - Isis 106 (2):481-483.
Review: Wilfried Sieg, Fragments of Arithmetic. [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (4):1054-1055.
Review: Wilfried Buchholz, Wolfram Pohlers, Wilfried Sieg, Iterated Inductive Definitions and Subsystems of Analysis. [REVIEW]Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
Wilfried Sieg. Hilbert's Programs and Beyond: Books of Essays.[author unknown] - 2014 - Philosophia Mathematica 22 (1):138-139.
Review: Wilfrid Hodges, Logic. [REVIEW]Stephen Leeds - 1980 - Journal of Symbolic Logic 45 (2):382-383.
Review: Wilfried Sieg, Step by Recursive Step: Church's Analysis of Effective Calculability. [REVIEW]Stewart Shapiro - 1999 - Journal of Symbolic Logic 64 (1):398-399.
Wilfried Sieg. Fragments of arithmetic. Annals of pure and applied logic, vol. 28 , pp. 33–71.Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (4):1054-1055.
Wilfried Sieg. Step by recursive step: Church's analysis of effective calculability. The bulletin of symbolic logic, vol. 3 , pp. 154–180. [REVIEW]Stewart Shapiro - 1999 - Journal of Symbolic Logic 64 (1):398-399.

Analytics

Added to PP
2009-01-28

Downloads
43 (#361,263)

6 months
4 (#1,007,071)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Wilfried Sieg
Carnegie Mellon University
Wilfrid Hodges
British Academy

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references