Contents
Reviews
Martin D. Davis, Ron Sigal, and Elaine J. Weyuker. Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer science and scientific computing. Academic Press, Boston, San Diego, New York, etc., 1994, xix + 609 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 703-704
-
- Article
- Export citation
What is a logical system? edited by D. M. Gabbay, Studies in logic and computation, no. 4, Clarendon Press, Oxford University Press, Oxford1994, and New York 1995, x + 454 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1396-1400
-
- 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
Front matter
JSL volume 61 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
JSL volume 61 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
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
Back matter
JSL volume 61 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Reviews
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
Back matter
JSL volume 61 issue 4 Cover and Back matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b10
-
- Article
-
- You have access
- 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