Contents
Reviews
Moti Gitik and Saharon Shelah. Forcings with ideals and simple forcing notions. Israel journal of mathematics, vol. 68 (1989), pp. 129–160. - M. Gitik and S. Shelah. More on simple forcing notions and forcing with ideals. Annals of pure and applied logic, vol. 59 (1993), pp. 219–238. - D. H. Fremlin Real-valued-measurable cardinals. Set theory of the reals, edited by Haim Judah, Israel mathematical conference proceedings, vol. 6, Gelbart Research Institute for Mathematical Sciences, Bar-Ilan University, Ramat-Gan 1993, also distributed by American Mathematical Society, Providence, pp. 151–304.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1022-1024
-
- Article
- Export citation
Peter Øhrstrøm and Per Hasle. A. N. Prior's rediscovery of tense logic. Erkenntnis, vol. 39 (1993), pp. 23–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 347-348
-
- 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
Wilfrid Hodges. Model theory. Encyclopedia of mathematics and its applications, vol. 42, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1993, xiii + 772 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 689-691
-
- Article
- Export citation
Front matter
JSL volume 60 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
René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome I. Calcul propositionnel, algèbres de Boole, calcul des prédicats. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 385 p. - René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 347 p.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 691-692
-
- Article
- Export citation
Joseph Brent. Charles Sanders Peirce. A life. Indiana University Press, Bloomington and Indianapolis1993, xvi + 388 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 348-352
-
- 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
Andrew M. Pitts. Interpolation and conceptual completeness for pretoposes via category theory. Mathematical logic and theoretical computer science, edited by Kueker David W., Lopez-Escobar Edgar G. K. and Smith Carl H., Lecture notes in pure and applied mathematics, vol. 106, Marcel Dekker, New York and Basel1987, pp. 301–327. - Andrew M. Pitts. Conceptual completeness for first-order intuitionistic logic: an application of categorical logic. Annals of pure and applied logic, vol. 41 (1989), pp. 33–81.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 692-694
-
- Article
- Export citation
Back matter
JSL volume 60 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Front matter
JSL Volume 60 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
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
Jonahan Chapman and Frederick Rowbottom. Relative category theory and geometric morphisms. A logical approach. Oxford logic guides, no. 16., Clarendon press, Oxford University Press, Oxford and New York1992, xi + 263 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 694-695
-
- Article
- Export citation
Back matter
JSL Volume 60 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation
Other
Index of reviews
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1331-1336
-
- Article
- Export citation
Reviews
Dimiter G. Skordev. Computability in combinatory spaces. An algebraic generalization of abstract first order computability. Mathematics and its applications (East European series), vol. 55. Kluwer Academic publishers, Dordrecht, Boston, and London, 1992, xiv + 320 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 695-696
-
- 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
Reviews
Paul C. Eklof and Alan H. Mekler. Almost free modules. Set-theoretic methods. North Holland mathematical library, vol. 46. North-Holland, Amsterdam etc. 1990, xvi + 481 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 696-698
-
- Article
- 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