Contents
Reviews
Tony Dodd. Prolog. A logical approach. Oxford University Press, Oxford, New York, and Tokyo, 1990, xii + 556 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 719
-
- Article
- Export citation
Directions in relevant logic, edited by Jean Norman and Richard Sylvan, Reason and argument, vol. 1, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1989, xii + 453 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1466-1468
-
- Article
- Export citation
Solomon Feferman. Weyl vindicated: “Das Kontinuum” 70 years later. Atti del congresso, Temi e prospettive della logica e della filosofia della scienza contemporanee, Organizzato dalla Società Italiana di Logica e Filosofia delle Scienze (SILFS), Cesena, 7–10 gennaio 1987, Volume I, Logica, edited by Carlo Cellucci and Giovanni Sambin, CLUEB, Bologna1988, pp. 59–93.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1085-1086
-
- Article
- Export citation
Ieke Moerdijk and Gonzalo E. Reyes. Models for smooth infinitesimal analysis. Springer-Verlag, New York, Berlin, etc., 1991, x + 399 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 354-355
-
- Article
- Export citation
Michael Dummett. The logical basis of metaphysics. Harvard University Press, Cambridge, Mass., 1991, xi + 355 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1086-1090
-
- Article
- Export citation
Luis E. Sanchis. Recursive functional. Studies in logic and the foundations of mathematics, vol. 131. North-Holland, Amsterdam etc. 1992, xii + 277 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1468-1469
-
- Article
- Export citation
Michael Makkai and Robert Paré. Accessible categories: the foundations of categorical model theory. Contemporary mathematics, vol. 104. American Mathematical Society, Providence1989, viii + 176 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-357
-
- Article
- Export citation
Lincoln A. Wallen. Automated proof search in non-classical logics. Efficient matrix proof methods for modal and intuitionistic logics. Artificial intelligence series. The MIT Press, Cambridge, Mass., and London, 1990, xv + 239 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 719-720
-
- Article
- Export citation
Other
Logical methods in mathematics and computer science: A symposium in honor of Anil Nerode's sixtieth birthday
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1091-1092
-
- Article
- Export citation
Reviews
Richard Kaye. Models of Peano arithmetic. Oxford logic guides, no. 15. Clarendon Press, Oxford University Press, Oxford and New York1991, x + 292 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 357-358
-
- Article
- Export citation
Judea Pearl. Probabilistic reasoning in intelligent systems: networks of plausible inference. Series in representation and reasoning. Morgan Kaufmann, San Mateo1988, xix + 552 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 721
-
- Article
- Export citation
Logical frameworks, edited by Gérard Huet and G. Plotkin, Cambridge University Press, Cambridge etc. 1991, xii + 403 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1469-1472
-
- Article
- Export citation
Wolfram Pohlers. Proof theory. An introduction. Lecture notes in mathematics, vol. 1407. Springer-Verlag, Berlin etc. 1989, vi + 213 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 358-359
-
- Article
- Export citation
Meeting Report
Spring meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1093-1095
-
- Article
- Export citation
Reviews
Johan van Benthem. Language in action. Categories, lambdas and dynamic logic. Studies in logic and the foundations of mathematics, vol. 130. North-Holland, Amsterdam, New York, etc., 1991, x + 349 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1472-1475
-
- Article
- Export citation
Frank Plumpton Ramsey. On truth. Original manuscript materials (1927–1929) from the Ramsey collection at the University of Pittsburgh. Edited by Nicholas Rescher and Ulrich Majer. Episteme, vol. 16. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1991, xxi + 129 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 721-723
-
- Article
- Export citation
Richard Beigel, William I. Gasarch, and Louise Hay. Bounded query classes and the difference hierarchy. Archive for mathematical logic, vol. 29 no. 2 (1989), pp. 69–84.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-360
-
- Article
- Export citation
Meeting Report
Fourth European summer school in logic, language, and information
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1096
-
- Article
- Export citation
Reviews
M. J. Cresswell. Entities and indices. Studies in linguistics and philosophy, vol. 41. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, xi + 274 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 723-725
-
- Article
- Export citation
Other
The First Iranian Summer School in Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1476
-
- Article
- Export citation