Reviews
George Boolos. The logic of provability. Cambridge University Press, Cambridge, New York, and Melbourne, 1993, xxxvi + 276 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1316-1317
-
- Article
- Export citation
Petr Hájek and Pavel Pudlák. Metamathematics of first-order arithmetic. Perspectives in mathematical logic. Springer-Verlag, Berlin etc. 1993, xiv + 460 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1317-1320
-
- Article
- Export citation
Vladimir A. Uspensky. Godel's incompleteness theorem. A reprint of LV 889 with minor corrections. Theoretical computer science, vol. 130 (1994), pp. 239–319.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1320
-
- Article
- Export citation
Raymond M. Smullyan. Gödel's incompleteness theorems. Oxford logic guides, no. 19. Oxford University Press, New York and Oxford1992, xiii + 139 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1320-1324
-
- Article
- Export citation
Raymond M. Smullyan. Recursion theory for metamathematics. Oxford logic guides, no. 22. Oxford University Press, New York and Oxford1993, xiv + 163 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1324-1326
-
- Article
- Export citation
Zohar Manna and Richard Waldinger. The logical basis for computer programming. Volume I. Deductive reasoning. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1985, xii + 618 pp. - Zohar Manna and Richard Waldinger. The logical basis for computer programming. Volume II. Deductive systems. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xiii + 642 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1326-1327
-
- Article
- Export citation
Logic programming languages, constraints, functions, and objects, edited by K. R. Apt, J. W. de Bakker, and J. J. M. M. Rutten, Logic programming, The MIT Press, Cambridge, Mass., and London, 1993, xiv + 204 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1327-1328
-
- Article
- Export citation
Cary G. deBessonet. A many-valued approach to deduction and reasoning for artificial intelligence. The Kluwer international series in engineering and computer science. Kluwer Academic Publishers, Boston, Dordrecht, and London, 1991, xviii + 248 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1328-1329
-
- Article
- Export citation
Daniel J. Velleman. How to prove it. A structured approach. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1994, x + 309 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1329-1330
-
- Article
- Export citation
Other
Index of reviews
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1331-1336
-
- Article
- Export citation
Front matter
JSL Volume 60 issue 4 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 60 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