Reviews
Akihiro Kanamori. The higher infinite. Large cardinals in set theory from their beginnings. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1994, xxiv + 536 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-336
-
- Article
- Export citation
Jean-Yves Girard. Linear logic. Theoretical computer science, vol. 50 (1987), pp. 1–101. - A. S. Troelstra. Lectures on linear logic. CSLI lecture notes, no. 29. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, New York, ix + 200 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 336-338
-
- Article
- Export citation
Alan Ross Anderson, Nuel D. BelnapJr., and J. Michael Dunn. Entailment. The logic of relevance and necessity. Volume II. Princeton University Press, Princeton and Oxford1992, xxvii + 749 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 338-341
-
- Article
- Export citation
Sun-Joo Shin. The logical status of diagrams. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995 (© 1994), xi + 197 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-342
-
- Article
- Export citation
L. T. F. Gamut (pseudonym). Logic, language, and meaning. Volume I. Introduction to logic. English translation of Logica, taal en betekenis, Volume I, Inleiding in de logica. The University of Chicago Press, Chicago and London1991, xiv + 282 pp. - L. T. F. Gamut (pseudonym). Logic, language, and meaning. Volume II. Intensional logic and logical grammar. English translation of Logica, taal en betekenis, Volume II, Intensionele logica en logische grammatica. The University of Chicago Press, Chicago and London1991, xvi + 349 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-345
-
- Article
- Export citation
L. T. F. Gamut (pseudonym). Logica, taal en betekenis. Volume I. Inleiding in de logica. Dutch original of volume I of the preceding. Het Spectrum, De Meern1982, 351 pp. - L. T. F. Gamut (pseudonym). Logica, taal en betekenis. Volume II. Intensionele logica en logische grammatica. Dutch original of volume II of the preceding. Het Spectrum, De Meern1982, 422 pp. - J. B. Paris The uncertain reasoner's companion. A mathematical perspective. Cambridge tracts in theoretical computer science, no. 39. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995 (© 1994), x + 212 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-347
-
- Article
- Export citation
Allan Ramsay. Formal methods in artificial intelligence. Cambridge tracts in theoretical computer science, no. 6. Cambridge University Press, Cambridge etc. 1988, ix + 279 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 347-351
-
- Article
- Export citation
Raymond M. Smullyan. First-order logic. Corrected republication of XL 237. Dover Publications, New York1995, xii + 158 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 351
-
- Article
- Export citation
Front matter
JSL volume 61 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 61 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation