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

Journal of Symbolic Logic 39 (2):357-357 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272709

Links

PhilArchive



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

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

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.
Mathematics Gesammelte Abhandlungen. By David Hubert. 2nd edition. Berlin: Springer Verlag, 1970. 3 vols. Pp. xvi + 539; viii + 453; vii + 435 $27.00. Hilbert Gedenkband. Ed. by K. Reidemeister. Berlin: Springer Verlag, 1971. Pp. v + 86. DM 22. [REVIEW]J. D. North - 1972 - British Journal for the History of Science 6 (2):208-209.
Sikorski Roman. Boolean algebras. Ergebnisse der Mathematik und ihrer Grenzgebiete, n.s. no. 25. Springer-Verlag, Berlin-Göttingen-Heidelberg 1960, IX + 176 pp.Sikorski Roman. Boolean algebras. Second edition. Ergebnisse der Mathematik und ihrer Grenzgebiete, n.s. no. 25. Academic Press, Inc., New York, and Springer-Verlag, Berlin-Göttingen-Heidelberg, 1964, X + 237 pp. [REVIEW]Donald Monk - 1966 - Journal of Symbolic Logic 31 (2):251-253.
Hilbert D. and Ackermann W.. Grundzüge der theoretischen Logik. Fourth edition. Die Grundlagen der mathematischen Wissenschaften, vol. 27. Springer-Verlag, Berlin-Göttingen-Heidelberg 1959, VIII + 188 pp. [REVIEW]F. H. Fischer - 1960 - Journal of Symbolic Logic 25 (2):158-158.
Hilbert D. and Bernays P.. Grundlagen der Mathematik. Vol. 2, Julius Springer, Berlin 1939, xii + 498 pp. [REVIEW]S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (1):16-20.
Lorenzen Paul. Einführung in die operative Logik und Mathematik. Second edition of XXII 289, with minor revisions. Die Grundlehren der mathematischen Wissenschaften, vol. 78. Springer-Verlag, Berlin-Heidelberg-New York 1969, VIII + 298 pp. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (2):330-330.
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.
Schütte Kurt. Vollständige Systeme modaler und intuitionistischer Logik. Ergebnisse der Mathematik und ihrer Grenzgebiete, no. 42. Springer-Verlag, Berlin-Heidelberg-New York 1968, VII + 87 pp. [REVIEW]R. E. Vesley - 1971 - Journal of Symbolic Logic 36 (3):522-522.
Hermes Hans. Einführung in die Verbandstheorie. Second, enlarged edition of XXII 222. Springer-Verlag, Berlin-Heidelberg-New York 1967, xii + 209 pp. [REVIEW]Pascual Jordan - 1971 - Journal of Symbolic Logic 36 (4):677-677.
Klug Ulrich. Juristische Logik. Third, expanded and revised, edition of XVII 274. Springer-Verlag, Berlin, Heidelberg, and New York, 1966, XV + 191 pp. [REVIEW]Gert H. Müller - 1971 - Journal of Symbolic Logic 36 (3):545-545.
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.
Devlin Keith. The joy of sets. Fundamentals of contemporary set theory. Second edition of XLVI419. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, x + 192 pp. [REVIEW]H. B. Enderton - 1994 - Journal of Symbolic Logic 59 (4):1441-1442.
Hermes Hans. Term logic with choice operator. A revised and enlarged translation of XXXV 440. Lecture notes in mathematics no. 6, Springer-Verlag, Berlin, Heidelberg, and New York, 1970, iv + 55 pp. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):679-680.
Mathematics Vorlesungen uber Geschichte der antiken mathematischen Wissenschaften. Erster Band, Vorgriechische Mathematik. By O. Neuge-bauer. Berlin, Heidelberg, and New York: Springer Verlag, reprint of 1934 edn. Pp. xii + 212. No price stated. [REVIEW]H. J. M. Bos - 1972 - British Journal for the History of Science 6 (2):206-207.
Grundlagen der mathematik.David Hilbert & Paul Bernays - 1934 - Berlin,: J. Springer. Edited by Paul Bernays.

Analytics

Added to PP
2013-11-22

Downloads
29 (#518,760)

6 months
2 (#1,136,865)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references