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 [Book Review]

Bulletin of Symbolic Logic 20 (3):363-365 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2014.27

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

William Ewald and Wilfried Sieg, eds, David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917–1933. Heidelberg: Springer, 2013. ISBN: 978-3-540-69444-1 ; 978-3-540-20578-4 . Pp. xxv + 1062. [REVIEW]Paolo Mancosu - 2015 - Philosophia Mathematica 23 (1):126-135.
William Ewald and Wilfried Sieg , Michael Hallett , David Hilbert’s Lectures on the Foundations of Arithmetic and Logic 1917–1933. In collaboration with Ulrich Majer and Dirk Schlimm , Springer-Verlag: Berlin and Heidelberg, 2013, xxvi + 1062 pp. ISBN 978-3-540-20578-4 $129.00, $86.37. [REVIEW]Volker Peckhaus - 2017 - Studia Logica 105 (3):669-671.
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.
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. David Hilbert's lectures on the foundations of geometry, 1891–1902. Michael Hallett and Ulrich Majer, eds. David Hilbert's Foundational Lectures; 1. Berlin: Springer-Verlag, 2004. ISBN 3-540-64373-7. Pp. xxviii + 661. [REVIEW]V. Pambuccian - 2013 - Philosophia Mathematica 21 (2):255-277.
Marker David, Introduction to the model theory of fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 1–37.Marker David. Model theory of differential fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 38–113.Pillay Anand. Differential algebraic groups and the number of countable differentially closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 114–134.Messmer Margit. Some model theory of separably closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 135–152. [REVIEW]Zoé Chatzidakis - 1998 - Journal of Symbolic Logic 63 (2):746-747.
Hilbert's Programs and Beyond.Wilfried Sieg - 2013 - Oxford, England: Oup Usa.
Felgner Ulrich. Models of ZF-set theory. Lecture notes in mathematics, no. 223, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, vi + 173 pp.Jech Thomas J.. Lectures in set theory with particular emphasis on the method of forcing. Lecture notes in mathematics, no. 217, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, v + 137 pp. [REVIEW]Frank R. Drake - 1975 - Journal of Symbolic Logic 40 (1):92-93.
The Ways of Hilbert's Axiomatics: Structural and Formal.Wilfried Sieg - 2014 - Perspectives on Science 22 (1):133-157.
Hilbert D. and Bernays P.. Grundlagen der Mathematik II. Second edition of V 16. Springer-Verlag, Berlin, Heidelberg, and New York, 1970, XIV + 561 pp. [REVIEW]G. T. Kneebone - 1974 - Journal of Symbolic Logic 39 (2):357-357.
Hilbert's Programs: 1917–1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.
Hilbert D. and Bernays P.. Grundlagen der Mathematik I. Second edition of 5071. Springer-Verlag, Berlin, Heidelberg, New York, 1968, XV + 473 pp. [REVIEW]G. T. Kneebone - 1970 - Journal of Symbolic Logic 35 (2):321-323.
Beeson Michael J.. Foundations of constructive mathematics. Metamathematical studies. Ergebnisse der Mathematik und ihrer Grenzgebiete, ser. 3 vol. 6. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1985, xxiii + 466 pp. [REVIEW]William A. Howard - 1987 - Journal of Symbolic Logic 52 (1):278-279.
Morley Michael. Partitions and models. Proceedings of the summer school in logic, Leeds, 1967, edited by Löb M. H., Lecture notes in mathematics, no. 70, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 109–158. [REVIEW]Wilfrid Hodges - 1974 - Journal of Symbolic Logic 39 (1):182-183.
Lloyd J. W.. Foundations of logic programming. Symbolic computation. Artifical intelligence. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1984, x + 124 pp. [REVIEW]John C. Shepherdson - 1987 - Journal of Symbolic Logic 52 (1):288-289.

Analytics

Added to PP
2016-06-30

Downloads
13 (#1,010,467)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Von Plato
University of Helsinki

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references