Contents
Reviews
Andrew Hodges. Alan Turing and the Turing machine. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 3–15. - Stephen C. Kleene. Turing's analysis of computahility, and major applications of it. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 17–54. - Robin Gandy. The confluence of ideas in 1936. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 55–111. - Solomon Feferman. Turing in the land of O(z). The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 113–147. - Martin Davis. Mathematical logic and the origin of modern computers. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 149–174.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1089-1090
-
- Article
- Export citation
Robert Goldblatt. Logics of time and computation. CSLI lecture notes, no. 7. Center for the Study of Language and Information, Stanford 1987, also distributed by the University of Chicago Press, Chicago, ix + 131 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1495-1496
-
- Article
- Export citation
Eitan Gurari. An introduction to the theory of computation. Principles of computer science series. Computer Science Press, Rockville, Md., 1989, xii + 314 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 338-339
-
- Article
- Export citation
Wilfrid Hodges. Building models by games. London Mathematical Society student texts, no. 2. Cambridge University Press, Cambridge etc. 1985, vi + 311 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 752-753
-
- Article
- Export citation
Michael J. Beeson. Computerizing mathematics: logic and computation. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 191–225.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1090-1091
-
- Article
- Export citation
Judith Roitman. Introduction to modern set theory. Pure and applied mathematics. John Wiley & Sons, New York etc. 1990, xiii + 156 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 753
-
- Article
- Export citation
Raymond Turner. Logics for artificial intelligence. Ellis Horwood series in artificial intelligence. Ellis Horwood, Chichester 1984, also distributed by Halsted Press, New York, 121 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-340
-
- Article
- Export citation
Stewart Shapiro. Introduction—intensional mathematics and constructive mathematics. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, vol. 113, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 1–10. - Stewart Shapiro. Epistemic and intuitionistic arithmetic. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 11–46. - John Myhill. Intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 47–61. - Nicolas D. Goodman. A genuinely intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 63–79. - Andrej Ščedrov. Extending Godel's modal interpretation to type theory and set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 81–119. - Robert C. Flagg. Church's thesis is consistent with epistemic arithmetic. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 121–172.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1496-1499
-
- Article
- Export citation
Murray G. Bell. Spaces of ideals of partial functions. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21,1987, edited by J. Streprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 1–4. - Alan Dow. Compact spaces of countable tightness in the Cohen model. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21,1987, edited by J. Streprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 55–67. - Peter J. Nyikos. Classes of compact sequential spaces. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21,1987, edited by J. Streprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 135–159. - Franklin D. Tall. Topological problems for set-theorists. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21,1987, edited by J. Streprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 194–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 753-755
-
- Article
- Export citation
Walter P. van Stigt. Brouwer's intuitionism. Studies in the history and philosophy of mathematics, vol. 2. North-Holland, Amsterdam etc. 1990, xxvi + 530 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1499
-
- Article
- Export citation
Michael Barr and Charles Wells. Toposes, triples and theories. Grundlehren der mathematischen Wissenschaften, no. 278. Springer-Verlag, New York etc. 1985, xiii + 345 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 340-341
-
- Article
- Export citation
Allen H. Brady. The busy beaver game and the meaning of life. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 259–277.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1091
-
- Article
- Export citation
Stephen Pollard. Philosophical introduction to set theory. University of Notre Dame Press, Notre Dame, Ind., and London, 1990, xii + 180 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 755-756
-
- Article
- Export citation
Richard L. Epstein. The semantic foundations of logic. Volume 1: Propositional logics. With the assistance and collaboration of Walter A. Carnielli, Itala M. L. D'Ottaviano, Stanisław Krajewski, and Roger D. Maddux. Nijhoff international philosophy series, vol. 35. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, xxii + 386 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1499-1500
-
- Article
- Export citation
Uwe Schöning. Complexity theory and interaction. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 561–580.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1091-1092
-
- Article
- Export citation
Alexander Prestel. Einführung in die mathematische Logik und Modelltheorie. Vieweg studium, no. 60. Friedr. Vieweg & Sohn, Brunswick et Wiesbaden 1986, xiv + 286 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-343
-
- Article
- Export citation
Newton C. A. da Costa. Ensaio sobre os fundamentos da lógica. Editora Hucitec, Editora da Universidade de São Paulo, São Paulo1980, xii + 255 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1500-1503
-
- Article
- Export citation
Shafi Goldwasser, Silvio Micali, and Charles Rackoff. The knowledge complexity of interactive proof systems. SIAM journal on computing, vol. 18 (1989), pp. 186–208. - Oded Goldreich, Silvio Micali, and Avi Wigderson. Proofs that release minimum knowledge. Mathematical foundations of computer science 1986, Proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25–29, 1986, edited by J. Gruska, B. Rovan, and J. Wiedermann, Lecture notes in computer science, vol. 233, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1986, pp. 639–650. - Oded Goldreich. Randomness, interactive proofs, and zero-knowledge—a survey. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988, pp. 377–405.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1092-1094
-
- Article
- Export citation
Michael Canjar. Countable ultraproducts without CH. Annals of pure and applied logic, vol. 37 (1988), pp. 1–79. - R. Michael Canjar. Small filter forcing. The journal of symbolic logic, vol. 51 (1986), pp. 526–546.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-344
-
- Article
- Export citation
Lennart Åqvist. Introduction to deontic logic and the theory of normative systems. Indices, no. 4. Bibliopolis, Naples 1988 (© 1987), also distributed by Humanities Press, Atlantic Highlands, N.J., 280 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 756-757
-
- Article
- Export citation