Contents
Reviews
W. V. Quine. The time of my life. An autobiography. Bradford books. The MIT Press, Cambridge, Mass., and London, 1985, xii + 499 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-303
-
- Article
- Export citation
Saunders Mac Lane. Mathematics: form and function. Springer-Verlag, New York, Berlin, Heidelberg, and Tokyo, 1986, xi + 476 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 643-645
-
- Article
- Export citation
Johan Håstad. Computational limitations of small-depth circuits. ACM doctoral dissertation awards. The MIT Press, Cambridge, Mass., and London, 1987, xiii + 84 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1259-1260
-
- Article
- Export citation
Edward Nelson. Predicative arithmetic. Mathematical notes, no. 32. Princeton University Press, Princeton1986, viii + 189 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 987-989
-
- Article
- Export citation
W. V. Quine. Philosophy of logic. Second edition of XL 587. Harvard University Press, Cambridge, Mass., and London, 1986, x + 109 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 303-305
-
- Article
- Export citation
Henry E. Kyburg Jr. Theory and measurement. Cambridge studies in philosophy. Cambridge University Press, Cambridge etc. 1984, viii + 273 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 989
-
- Article
- Export citation
S. Yu. Maslov. Theory of deductive systems and its applications. English translation by Michael Gelfond and Vladimir Lifschitz of Téoriá déduktivnyh sistém i éé priménéniá . Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1987, x + 151 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1260-1261
-
- Article
- Export citation
Rosemarie Rheinwald. Der Formalismus und seine Grenzen. Untersuchungen zur neueren Philosophic der Mathematik. Philosophic—Analyse und Grundlegung, vol. 11. Hain, Königstein 1984, 204 pp. - Hartry Field. IS mathematical knowledge just logical knowledge? The philosophical review, vol. 93 (1984), pp. 509–552.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 645-646
-
- Article
- Export citation
S. Ú. Maslov. Téoriá déduktivnyh sistém i éé priménéniá. Russian original of the preceding. Kibérnétika. Radio i Savz', Moscow 1986, 135 pp. - K. D. Stroyan and José Manuel Bayod. Foundations of infinitesimal stochastic analysis. Studies in logic and the foundations of mathematics, vol. 119. North-Holland, Amsterdam, New York, and Oxford, 1986, xii + 478 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1261-1262
-
- Article
- Export citation
Kari Kurkela. Note and tone. A semantic analysis of conventional music notation. Acta musicologica Fennica, no. 15. Suomen Musiikkitieteellinen Seura, Musikvetenskapliga Sällskapet i Finland, Helsinki1986, xiii + 161 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 989-990
-
- Article
- Export citation
Kit Fine. Reasoning with arbitrary objects. Aristotelian Society series, vol. 3. Basil Blackwell, Oxford 1986 (©1985), viii + 220 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-306
-
- Article
- Export citation
J. Philip Miller. Numbers in presence and absence: a study of Husserl's philosophy of mathematics. Phaenomenologica, no. 90. Martinus Nijhoff Publishers, The Hague, Boston, and London, 1982, x + 147 pp. - Roger Schmit. Husserls Philosophie der Mathematik. Platonistische und konstruktimstische Momente in Husserls Mathematikbegriff. Conscientia, vol. 10. Bouvier Verlag Herbert Grundmann, Bonn 1981, 159 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 646-648
-
- Article
- Export citation
Johan van Benthem. Essays in logical semantics. Studies in linguistics and philosophy, vol. 29. D. Reidel Publishing Company, Dordrecht etc. 1986, xi + 225 pp. - Johan van Benthem. Determiners and logic. Linguistics and philosophy, vol. 6 (1983), pp. 447–478. - Johan van Benthem. Questions about quantifiers. The journal of symbolic logic, vol. 49 (1984), pp. 443–466. - Johan van Benthem. Foundations of conditional logic. Journal of philosophical logic, vol. 13 (1984), pp. 303–349.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 990-991
-
- Article
- Export citation
Rachel Wallace Garden. Modern logic and quantum mechanics. Adam Hilger, Bristol 1984, also distributed by Heyden & Son, Philadelphia, xi + 177 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 648-649
-
- Article
- Export citation
Kit Fine. First-order modal theories I—sets. Noûs, vol. 15 (1981), pp. 177–205. - Kit Fine. First-order modal theories. Studia logica, vol. 39 (1980), pp. 159–202. - Kit Fine. First-order modal theories III—facts. Synthese, vol. 53 (1982), pp. 43–122.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1262-1269
-
- Article
- Export citation
C. Smoryński. Self-reference and modal logic. Universitext. Springer-Verlag, New York, Berlin, etc., 1985, xii + 333 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 306-309
-
- Article
- Export citation
Detlef Laugwitz. Zahlen und Kontinuum. Eine Einführung in die Infinitesimalmathematik. Lehrbücher und Monographien zur Didaktik der Mathematik, Bd. 5. Bibliographisches Institut, Mannheim, Wien, und Zürich, 1986, 269 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 649-650
-
- Article
- Export citation
Nino B. Cocchiarella. Logical investigations of predication theory and the problem of universals. Indices, no. 2. Bibliopolis, Naples1986, also distributed by Humanities Press, Atlantic Highlands, N.J., 265 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 991-993
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic, New York City, May 1987
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1270-1274
-
- Article
- Export citation
Reviews
B. C. Moszkowski. Executing temporal logic programs. Cambridge University Press, Cambridge etc. 1986, xiii + 125 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 309
-
- Article
- Export citation