From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 [Book Review]

Journal of Philosophy 67 (4):109-110 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

0022362X

DOI

10.2307/2024031

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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

From Frege to Gödel. A Source Book in Mathematical Logic 1879-1931.Jean van Heijenoort - 1968 - Synthese 18 (2-3):302-305.
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931.Jean van Heijenoort (ed.) - 1967 - Cambridge, MA, USA: Harvard University Press.
Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge Mass., 1967, p. 124. - Bertrand Russell. Letter to Frege. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 124–125. - Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 126–1271. - Gottlob Frege. Letter to Russell. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 127–128. [REVIEW]Alonzo Church - 1974 - Journal of Symbolic Logic 39 (2):355.
Jean van Heijenoort, "From Frege to Gödel. A Source Book in Mathematical Logic 1879-1931".Andrzej Motowski - 1968 - Synthese 18 (2-3):302.
W. V. Quine. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 150–152. - Bertrand Russell. Mathematical logic as based on the theory of types. A reprint of 11116. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 152–182. [REVIEW]Alonzo Church - 1974 - Journal of Symbolic Logic 39 (2):355-356.
Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 1–5. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 1–5. - Gottlob Frege. Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. English translation of 491 by Stefan Bauer-Mengelberg. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 5–82. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 5–82. - Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (2):405-405.
W. V. Quine. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 216–217. - Alfred North Whitehead and Bertrand Russell. Incomplete symbols: Descriptions. Reprinted from 1947, pp. 66–71. Incomplete symbols: Descriptions. Reprinted from 1947, pp. 217–223. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (3):472-473.
Luitzen Egbertus Jan Brouwer. On the significance of the principle of excluded middle in mathematics, especially in function theory, English translation of 15516 by Stefan Bauer-Mengelberg and Jean van Heijenoort. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 334–341. Addenda and corrigenda, English translation of XXIV 189 by Stefan Bauer-Mengelberg, Claske M. Berndes Franck, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 341–342. Further addenda and corrigenda. English translation of XXIV 189 by Stefan Bauer-Mengelberg, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 342–345. - Luitzen Egbertus Jan Brouwer. On the domains of definition of functions. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 446–463. English translation of §§1–3 of Über Definiti. [REVIEW]Joan Rand Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):332-333.
Letter to Dedekind.George Cantor - 1967 - In Jean van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Cambridge, MA, USA: Harvard University Press. pp. 113--117.
An Axiomatisation of Set Theory.John von Neumann - 1967 - In Jean van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Cambridge, MA, USA: Harvard University Press. pp. 393--413.

Analytics

Added to PP
2015-02-02

Downloads
79 (#206,502)

6 months
14 (#253,070)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The set-theoretic multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.
Transfinite Cardinals in Paraconsistent Set Theory.Zach Weber - 2012 - Review of Symbolic Logic 5 (2):269-293.
Gentzen's proof systems: byproducts in a work of genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.

View all 46 citations / Add more citations

References found in this work

No references found.

Add more references