53 results
Richard L. Epstein. Classical mathematical logic. The semantic foundations of logic. With contributions by Lesław W. Szczerba. Princeton University Press, Princeton and Oxford, 2006, xxii + 522 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 540-541
- Print publication:
- December 2007
-
- Article
- Export citation
Anita Burdman Feferman. From Trotsky to Gödel. The life of Jean van Heijenoort. Paperbound reprint with altered title of JSL LVIII 1465. A K Peters, Natick, Mass., 2001, xv + 415 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, p. 104
- Print publication:
- March 2002
-
- Article
- Export citation
Martin Goldstern and Haim Judah, The incompleteness phenomenon, A new course in mathematical logic, A K Peters, Wellesley, Mass., 1995, xiii + 247 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 3 / September 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1367-1368
- Print publication:
- September 1999
-
- Article
- Export citation
Patrick Suppes, Introduction to logic. A republication of XXII 353 Publications, Mineola, New York, 1999, xiv + 312 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 3 / September 1999
- Published online by Cambridge University Press:
- 12 March 2014, p. 1368
- Print publication:
- September 1999
-
- Article
- Export citation
The Columbia history of western philosophy, edited by Richard H. Popkin, Columbia University Press, New York1999, xxvi + 836 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, p. 396
- Print publication:
- March 1999
-
- Article
- Export citation
Alonzo Church and the Reviews
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 172-180
- Print publication:
- June 1998
-
- Article
- Export citation
Solvability, provability, definability: the collected works of Emil L. Post, edited by Davis Martin, Contemporary mathematicians, Birkhäuser, Boston, Basel, and Berlin, 1994, xxviii + 554 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1046-1048
- Print publication:
- September 1997
-
- Article
- Export citation
Martin D. Davis, Ron Sigal, and Elaine J. Weyuker. Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer science and scientific computing. Academic Press, Boston, San Diego, New York, etc., 1994, xix + 609 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 703-704
- Print publication:
- June 1996
-
- Article
- Export citation
In Memoriam: Alonzo Church 1903–1995
-
- Journal:
- Bulletin of Symbolic Logic / Volume 1 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 15 January 2014, pp. 486-488
- Print publication:
- December 1995
-
- Article
-
- You have access
- Export citation
Vladimir A. Uspensky. Godel's incompleteness theorem. A reprint of LV 889 with minor corrections. Theoretical computer science, vol. 130 (1994), pp. 239–319.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, p. 1320
- Print publication:
- December 1995
-
- Article
- Export citation
Keith Devlin. 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1441-1442
- Print publication:
- December 1994
-
- Article
- Export citation
Anita Burdman Feferman. Politics, logic, and love. The life of Jean van Heijenoort. Jones and Bartlett Publishers, Boston and London, and A K Peters, Wellesley, Mass., 1993, xv + 415 pp. - Solomon Feferman. Jean van Heijenoort's scholarly work, 1948–1986. Therein, pp. 371–390.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1465-1466
- Print publication:
- December 1993
-
- Article
- Export citation
Andreas Blass. Near coherence of filters, 1: cofinal equivalence of models of arithmetic. Notre Dame journal of formal logic, vol. 27 (1986), pp. 579–591.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 350
- Print publication:
- March 1993
-
- Article
- Export citation
Cumulative index to volumes 27–55 (1962–1990)
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 4 / December 1990
- Published online by Cambridge University Press:
- 12 March 2014, p. 1329
- Print publication:
- December 1990
-
- Article
- Export citation
L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson. Introduction. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. Ščedrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. vii–xii.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 867-868
- Print publication:
- June 1990
-
- Article
- Export citation
Wilfrid Hodges. Elementary predicate logic. Handbook of philosophical logic, Volume I, Elements of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 1–131.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1089-1090
- Print publication:
- September 1989
-
- Article
- Export citation
Nigel Cutland. Computabitity. An introduction to recursive function theory. Cambridge University Press, Cambridge etc. 1980, x + 251 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 292-293
- Print publication:
- March 1987
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 322-326
- Print publication:
- March 1984
-
- Article
- Export citation
J. Barkley Rosser. Logic for mathematicians. Second edition of XVIII 326. Chelsea Publishing Company, New York1978, xv + 574 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 631-632
- Print publication:
- September 1980
-
- Article
- Export citation
Isaac Levi. Gambling with truth. An essay on induction and the aims of science. Paperback edition of XXXVI 318. The MIT Press, Cambridge, Massachusetts, and London, 1973, xiv + 246 + v pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 4 / December 1976
- Published online by Cambridge University Press:
- 12 March 2014, p. 791
- Print publication:
- December 1976
-
- Article
- Export citation