Categories

Keywords

Reprint years

DOI

10.2307/2272396

Other Versions

No versions found

Links

PhilArchive

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

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.
Edsger W. Dijkstra and Carel S. Scholten. Predicate calculus and program semantics. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1990, xi + 220 pp.Egon Börger - 1994 - Journal of Symbolic Logic 59 (2):673-678.
G. Takeuti and W. M. Zaring. Introduction to axiomatic set theory. Springer-Verlag, New York, Heidelberg, and Berlin, 1971, VII + 250 pp. [REVIEW]F. R. Drake - 1973 - Journal of Symbolic Logic 38 (3):530.
Ferrante Jeanne and Rackoff Charles W.. The computational complexity of logical theories. Lecture notes in mathematics, vol. 718. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, X + 243 pp.Dirk Siefkes - 1984 - Journal of Symbolic Logic 49 (2):670-671.
Heinz-Dieter Ebbinghaus, Jörg Flum, and Wolfgang Thomas. Einführung in die mathematische Logik. Die Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt1978, ix + 288 pp. - H.-D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical logic. Revised English translation by Ann S. Ferebee of the preceding. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, and Tokyo, 1984, ix + 216 pp. - Heinz-Dieter Ebbinghaus, Jörg Flum, and Wolfgang Thomas. Einführung in die mathematische Logik. Second edition. Die Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt1986, ix + 308 pp. - H.-D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical logic. Second edition. Revised English translation by Ann S. Ferebee and Margit Meßmer of the preceding. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1994, x + 289 pp.Steffen Lempp - 1995 - Journal of Symbolic Logic 60 (3):1013-1014.
Haskell B. Curry. The undecidability of λK-conversion. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 10–14.Richard J. Orgass - 1975 - Journal of Symbolic Logic 40 (2):246.
Stephen F. Barker. Realism as a philosophy of mathematics. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 1–9.Joseph Ullian, Bernard Baumrin & Joseph S. Ullian - 1975 - Journal of Symbolic Logic 40 (4):593.
Robert M. Solovay On the cardinality of sets of reals. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 58–73.Robert M. Solovay - 1974 - Journal of Symbolic Logic 39 (2):330.
F. William Lawvere. Introduction to part I. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 3–14. - Orville Keane. Abstract Horn theories. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 15–50. - Hugo Volger. Completeness theorem for logical categories. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 51–86. - Hugo Volger. Logical categories, semantical categories and topoi. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C.M. E. Szabo - 1981 - Journal of Symbolic Logic 46 (1):158-161.
Miller Arnold W.. Descriptive set theory and forcing. How to prove theorems about Borel sets the hard way. Lecture notes in logic, no. 4. Springer, Berlin, Heidelberg, New York, etc., 1995, ii + 130 pp.Tomek Bartoszynski - 1997 - Journal of Symbolic Logic 62 (1):320-321.

Analytics

Added to PP
2015-02-05

Downloads
135 (#327,388)

6 months
24 (#432,968)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Stelios Negrepontis
Stelios Negrepontis
National and Kapodistrian University of Athens

Citations of this work

The material theory of induction.John D. Norton - 2021 - Calgary, Alberta, Canada: University of Calgary Press.
Many simple cardinal invariants.Martin Goldstern & Saharon Shelah - 1993 - Archive for Mathematical Logic 32 (3):203-221.
| ˜ -Divisibility of Ultrafilters.Boris Šobot - 2021 - Annals of Pure and Applied Logic 172 (1):102857.

View all 22 citations / Add more citations

References found in this work

No references found.

Add more references