Contents
Reviews
Kurt Gödel. Review of Skolem's Über die Unmöglichkeit einer vollständigen Charakterisierung der Zahlenreihe mittels eines endlichen Axiomensystems (24716). Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 378, 380. (Reprinted from Zentralblatt für Mathematik undihre Grenzgebiete, vol. 7 (1934), pp. 193–194.) - Kurt Gödel. English translation by John Dawson of this review. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 379, 381. - Kurt Gödel. Review of Skolem's Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mil ausschlieβlich Zahlenvariablen (24718). Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 p. 384. (Reprinted from Zentralblatt für Mathematik undihre Grenzgebiete, vol. 10 (1935), p. 49.) - Kurt Gödel. English translation by John Dawson of this review. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 p. 385. - Robert Vaught. Introductory note to 1934c and 1935. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 376– 379.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 347-348
-
- Article
- Export citation
Alexander Broadie. Introduction to medieval logic. Clarendon Press, Oxford University Press, Oxford and New York1987, vi + 150 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1320-1322
-
- Article
- Export citation
C. Smoryński. Nonstandard models and related developments. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 179–229.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 875-876
-
- Article
- Export citation
J. C. Shepherdson. Algorithmic procedures, generalized Turing algorithms, and elementary recursion theory. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 285–308. - J. C. Shepherdson. Computational complexity of real functions. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 309–315. - A. J. Kfoury. The pebble game and logics of programs. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 317–329. - R. Statman. Equality between functionals revisited. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 331–338. - Robert E. Byerly. Mathematical aspects of recursive function theory. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 339–352.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 876-878
-
- Article
- Export citation
Kurt Gödel. Über die Länge von Beweisen (1936a). A reprint of I 116. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 396, 398. - Kurt Gödel. On the length of proofs (1936a). English translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the preceding. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 397, 399. - Rohit Parikh. Introductory note to 1936a. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 394– 397.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 348
-
- Article
- Export citation
Tadeusz Kotarbiński. Wykłady z dziejów logiki (Lectures from the history of logic). Państwowe Wydawnictwo Naukowe, Warsaw1985, 226 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1322-1324
-
- Article
- Export citation
Stephen C. Kleene. Origins of recursive function theory. Annals of the history of computing, vol. 3 (1981), pp. 52– 67. - Martin Davis. Why Gödel didn't have Church's thesis. Information and control, vol. 54 (1982), pp. 3– 24. - Stephen C. Kleene. Reflections on Church's thesis. Notre Dame journal of formal logic, vol. 28 (1987), pp. 490– 498.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 348-350
-
- Article
- Export citation
Classification theory, Proceedings of the U.S.-Israel workshop on model theory in mathematical logic held in Chicago, Dec. 15–19, 1985, edited by J. T. Baldwin, Lecture notes in mathematics, vol. 1292, Springer-Verlag, Berlin etc. 1987, vi + 500 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 878-881
-
- Article
- Export citation
Ryszard Wójcicki. Theory of logical calculi. Basis theory of consequence operations. Synthese library, vol. 199. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1988, xviii + 473 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1324-1326
-
- Article
- Export citation
Daniel Lascar. Stability in model theory. English translation by J. E. Wallington of Stabilité en théorie des modèles. Pitman monographs and surveys in pure and applied mathematics, no. 36. Longman Scientific & Technical, Harlow, Essex, and John Wiley & Sons, New York, 1987, v + 193 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 881-883
-
- Article
- Export citation
Alfred Tarski and Steven Givant. A formalization of set theory without variables. American Mathematical Society colloquium publications, vol. 41. American Mathematical Society, Providence1987, xxi + 318 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 350-352
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1327-1328
-
- Article
- Export citation
Reviews
Robert K. Meyer. A farewell to entailment. Foundations of logic and linguistics, Problems and their solutions, edited by Georg Dorn and P. Weingartner, Plenum Press, New York and London1985, pp. 577– 636.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 352-353
-
- Article
- Export citation
Front matter
JSL volume 55 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
Daniel Lascar. Stabilité en théorie des modèles. French original of the preceding. Monographies de mathèmatique, no. 2. Institut de Mathématique Pure et Appliquée, Université Catholique de Louvain, Louvain-la-Neuve1986, 231 pp. - Ray Mines, Fred Richman, and Wim Ruitenburg. A course in constructive algebra. Universitext. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1988, xi + 344 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 883-886
-
- Article
- Export citation
Wilfried Sieg. Reductions of theories for analysis. Foundations of logic and linguistics, Problems and their solutions, edited by Georg Dorn and P. Weingartner, Plenum Press, New York and London1985, pp. 199– 231.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 354
-
- Article
- Export citation
Back matter
JSL volume 55 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Reviews
J. L. Bell. Toposes and local set theories. An introduction. Oxford logic guides, no. 14. Clarendon Press, Oxford University Press, Oxford and New York1988, xii + 267 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 886-887
-
- Article
- Export citation
Saharon Shelah. Primitive recursive bounds for van der Waerden numbers. Journal of the American Mathematical Society, vol. 1 (1988), pp. 683–697.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 887-888
-
- Article
- Export citation
Peter Gibbins. Particles and paradoxes. The limits of quantum logic. Cambridge University Press, Cambridge etc. 1987, xi + 181 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 354-355
-
- Article
- Export citation