Davis Martin. Lecture notes on mathematical logic. The Institute of Mathematical Sciences, New York University, New York 1959, 91 pp. + Appendix and errata [Book Review]

Journal of Symbolic Logic 35 (1):167-167 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200093002

Links

PhilArchive



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

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

Lecture Notes on Mathematical Logic.A. H. Lightstone & Martin Davis - 1970 - Journal of Symbolic Logic 35 (1):167.
Dodd A. and Jensen R.. The core model. Annals of mathematical logic, vol. 20 , pp. 43–75.Dodd Tony and Jensen Ronald. The covering lemma for K. Annals of mathematical logic, vol. 22 , pp. 1–30.Dodd A. J. and Jensen R. B.. The covering lemma for L[U]. Annals of mathematical logic, pp. 127–135.Donder D., Jensen R. B. and Koppelberg B. J.. Some applications of the core model. Set theory and model theory, Proceedings of an informal symposium held at Bonn, June 1–3, 1979, edited by Jensen R. B. and Prestel A., Lecture notes in mathematics, vol. 872, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 55–97.Dodd A.. The core model. London Mathematical Society lecture note series, no. 61. Cambridge University Press, Cambridge etc. 1982, xxxviii + 229 pp. [REVIEW]William Mitchell - 1984 - Journal of Symbolic Logic 49 (2):660-662.
Feferman Solomon. A language and axioms for explicit mathematics. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by Crossley J. N., Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 87–139.Feferman Solomon. Constructive theories of functions and classes. Logic colloquium '78, Proceedings of the colloquium held in Mons, August 1978, edited by Boffa Maurice, van Dalen Dirk, and McAloon Kenneth, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 159–224. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
Rosenbloom Paul C.. The elements of mathematical logic. Dover Publications, Inc., New York, 1951, 6 + iv + 214 pp. [REVIEW]Martin Davis - 1953 - Journal of Symbolic Logic 18 (3):277-280.
The usefulness of mathematical learning explained and demonstrated: being mathematical lectures read in the publick schools at the University of Cambridge.Isaac Barrow - 1734 - London,: Cass.
Boucher C.. Leçons sur la théorie des automates mathématiques. Lecture notes in operations research and mathematical systems, no. 46, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, VIII + 193 pp. [REVIEW]Andrzej Blikle - 1972 - Journal of Symbolic Logic 37 (4):759-760.
Logic from computer science, Proceedings of a workshop held November 13–17, 1989, edited by Y. N. Moschovakis, Mathematical Sciences Research Institute publications, vol. 21, Springer-Verlag, New York etc. 1992, xi + 608 pp. [REVIEW]Helmut Schwichtenberg - 1995 - Journal of Symbolic Logic 60 (3):1021-1022.
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.
Normann Dag. Recursion on the countable functionals. Lecture notes in mathematics, vol. 811. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, VIII + 191 pp.Normann Dag. The continuous functionals; computations, recursions and degrees. Annals of mathematical logic, vol. 21 , pp. 1–26. [REVIEW]Peter G. Hinman - 1984 - Journal of Symbolic Logic 49 (2):668-670.
Blass Andreas. Simple cardinal characteristics of the continuum. Set theory of the reals, edited by Judah Haim, Israel mathematical conference proceedings, vol. 6, Gelbart Research Institute for Mathematical Sciences, Bar-Ilan University, Ramat-Gan 1993, distributed by the American Mathematical Society, Providence, pp. 63–90. [REVIEW]Heike Mildenberger - 2002 - Bulletin of Symbolic Logic 8 (4):552-553.
Lecture notes in mathematical logic.Kurt Schütte - 1962 - University Park,: University Park, Dept. Of Mathematics, Pennsylvania State University.
Mathematical Problems. Lecture Delivered Before the International Congress of Mathematicians at Paris in 1900.David Hilbert, Mary Winston Newsom, Felix E. Browder, Donald A. Martin, G. Kreisel & Martin Davis - 1979 - Journal of Symbolic Logic 44 (1):116-119.
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. [REVIEW]H. B. Enderton - 1972 - Journal of Symbolic Logic 37 (3):602-602.
J. C. E. Dekker. Two notes on recursively enumerable sets. Proceedings of the American Mathematical Society, vol. 4 , pp. 495–501. [REVIEW]Martin Davis - 1955 - Journal of Symbolic Logic 20 (1):73-74.
Mathematical Intuition and Natural Numbers: A Critical Discussion. [REVIEW]Felix Mühlhölzer - 2010 - Erkenntnis 73 (2):265-292.

Analytics

Added to PP
2016-06-30

Downloads
17 (#869,452)

6 months
7 (#431,507)

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