Davis Martin. One equation to rule them all. Transactions of the New York Academy of Sciences, ser. 2 vol. 30 no. 6 , pp. 766–773 [Book Review]

Journal of Symbolic Logic 37 (3):602-602 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272755

Links

PhilArchive



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

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

Review: Martin Davis, One Equation to Rule Them all. [REVIEW]H. B. Enderton - 1972 - Journal of Symbolic Logic 37 (3):602-602.
Enderton H. B.. Hierarchies in recursive function theory. Transactions of the American Mathematical Society, vol. III , pp. 457–471. [REVIEW]Gustav Hensel - 1966 - Journal of Symbolic Logic 31 (2):262-263.
H. B. Enderton and Harvey Friedman. Approximating the standard model of analysis. Fundamenta mathematicae, vol. 72 no. 2 , pp. 175–188. [REVIEW]Andrzej Mostowski - 1974 - Journal of Symbolic Logic 39 (3):600-601.
H. B. Enderton. On provable recursive functions. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 86–88.Hartley Rogers - 1973 - Journal of Symbolic Logic 38 (3):526-527.
Davis Martin. Lecture notes on mathematical logic. The Institute of Mathematical Sciences, New York University, New York 1959, 91 pp. + Appendix and errata. [REVIEW]A. H. Lightstone - 1970 - Journal of Symbolic Logic 35 (1):167-167.
Enderton H. B.. The unique existential quantifier. Archiv für mathematische Logik und Grundlagenforschung, vol. 13 , pp. 52–54. [REVIEW]Donald A. Martin - 1975 - Journal of Symbolic Logic 40 (4):627-627.
Herbert B. Enderton. A mathematical introduction to logic. Academic Press, New York and London1972, xiv + 295 pp. [REVIEW]J. R. Shoenfield - 1973 - Journal of Symbolic Logic 38 (2):340-341.
H. A. Nielsen. Linguistic analysis. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 8, pp. 773–775. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):596-596.
Herbert B. Enderton. A Mathematical Introduction to Logic. Harcourt/Academic Press, New York and London, 2001 , xii + 317 pp. [REVIEW]Natasha Dobrinen - 2003 - Bulletin of Symbolic Logic 9 (3):406-407.
Herbert B. Enderton. Elements of set theory. Academic Press, New York, San Francisco, and London, 1977, xiv + 279 pp. [REVIEW]Kenneth Kunen - 1981 - Journal of Symbolic Logic 46 (1):164-165.

Analytics

Added to PP
2016-06-30

Downloads
12 (#317,170)

6 months
5 (#1,552,255)

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