Reviews
Raymond Turner. Truth and modality for knowledge representation. Pitman, London 1990, v + 122 pp., and Artificial intelligence series, The MIT Press, Cambridge, Mass., 1991, vii + 126 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 693-696
-
- Article
- Export citation
Russell and analytic philosophy, edited by A. D. Irvine and G. A. Wedeking, Toronto studies in philosophy, University of Toronto Press, Toronto, Buffalo, and London, 1993, xv + 424 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1391-1392
-
- Article
- Export citation
Heindorf Lutz. Elementare Beweistheorie. Wissenschaftsverlag B. I., Mannheim, Leipzig, Wien, und Zürich, 1994, 240 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1051-1052
-
- Article
- Export citation
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
T. E. Forster. Set theory with a universal set. Exploring an untyped universe. Second edition of LVIII 725. Oxford logic guides, no. 31. Clarendon Press, Oxford University Press, Oxford and New York1995, x + 166 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1392-1393
-
- 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
Erwin Engeler. The combinatory programme. In collaboration with K. Aberer, B. Amrhein, O. Gloor, M. von Mohrenschildt, D. Otth, G. Schwärzler, and T. Weibel. Progress in theoretical computer science, no. 15. Birkhäuser, Boston, Basel, and Berlin, 1995, vii + 143 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 696-697
-
- Article
- Export citation
Smullyan Raymond M.. Diagonalization and self-reference. Oxford logic guides, no. 27. Clarendon Press, Oxford University Press, Oxford and New York1994, xv + 396 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1052-1055
-
- Article
- Export citation
Popkorn Sally (pseudonym). First steps in modal logic. Cambridge University Press, Cambridge 1994, and New York and Oakleigh, Victoria, 1995, xiii + 314 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1055-1056
-
- Article
- Export citation
Logic and computation, Proceedings of a workshop held at Carnegie Mellon University, June 30–July 2, 1987, edited by Wilfried Sieg, Contemporary Mathematics, vol. 106, American Mathematical Society, Providence1990, xiv + 297 pp. - Douglas K. Brown. Notions of closed subsets of a complete separable metric space in weak subsystems of second order arithmetic. Pp. 39–50. - Kostas Hatzikiriakou and Stephen G. Simpson. WKL0 and orderings of countable abelian groups. Pp. 177–180. - Jeffry L. Hirst. Marriage theorems and reverse mathematics. Pp. 181–196. - Xiaokang Yu. Radon–Nikodym theorem is equivalent to arithmetical comprehension. Pp. 289–297. - Fernando Ferreira. Polynomial time computable arithmetic. Pp. 137–156. - Wilfried Buchholz and Wilfried Sieg. A note on polynomial time computable arithmetic. Pp. 51–55. - Samuel R. Buss. Axiomatizations and conservation results for fragments of bounded arithmetic. Pp. 57–84. - Gaisi Takeuti. Sharply bounded arithmetic and the function a – 1. Pp. 281–288. - Peter G. Clote. A smash-based hierarchy between PTIME and PSPACE (preliminary version). Pp. 85–100. - Solomon Feferman. Polymorphic typed lambda-calculi in a type-free axiomatic framework. Pp. 101–136 - Michael Beeson. Some theories conservative over intuitionistic arithmetic. Pp. 1–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 697-699
-
- 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
Winfried Just and Martin Weese. Discovering modern set theory. I. The basics. Graduate studies in mathematics, vol. 8. American Mathematical Society, Providence1996, xvii + 210 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1393-1394
-
- 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
Erwin Engeler and Peter Läuchli. Berechnungstheorie für Informatiker. With assistance from Ronald Peikert. Leitfäden und Monographien der Informatik. B. G. Teubner, Stuttgart1988, 120 pp. - Arnold Oberschelp. Rekursionstheorie. B. I. Wissenschaftsverlag, Mannheim, Leipzig, Vienna, and Zürich, 1993, 339 pp. - Walter Felscher. Berechenbarkeit. Rekursive und programmierbare Funktionen. Springer-Lehrbuch. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1993, xi + 478 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 699-701
-
- Article
- Export citation
Steven G. Krantz. The elements of advanced mathematics. CRC Press, Boca Raton, New York, London, and Tokyo, 1995, xii + 155 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1394-1395
-
- Article
- Export citation
Front matter
JSL volume 61 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
Robert W. Floyd and Richard Beigel. The language of machines. An introduction to computability and formal languages. Computer Science Press, New York1994, xvii + 706 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 701-703
-
- Article
- Export citation
Hammer Eric M.. Logic and visual information. Studies in logic, language and information. CSLI Publications, Stanford, and FoLLI, 1996 (© 1995), also distributed by Cambridge University Press, New York, ix + 124 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1395-1396
-
- 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
Back matter
JSL volume 61 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation