Contents
Reviews
Edsger W. Dijkstra and Carel S. Scholten. Predicate calculus and program semantics. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1990, xi + 220 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-678
-
- Article
- Export citation
Logical foundations of functional programming, edited by Gérard Huet, The UT year of programming series, Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xvi + 491 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1439-1441
-
- Article
- Export citation
Meeting Report
Conference on Mathematical Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 345
-
- Article
- Export citation
Reviews
Joseph R. Shoenfield. Recursion theory, Lecture notes in logic, no. 1. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1993, v + 84 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1105
-
- Article
- Export citation
Andrea Nye. Words of power. A feminist reading of the history of logic. Thinking gender. Routledge, New York and London 1990, xiii + 190 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 678-681
-
- Article
- Export citation
Meeting Report
Spring Meeting of the Association for Symbolic Logic, Toronto, 1993
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-349
-
- Article
- Export citation
Reviews
Keith Devlin. The joy of sets. Fundamentals of contemporary set theory. Second edition of XLVI419. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, x + 192 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1441-1442
-
- Article
- Export citation
Proof and knowledge in mathematics, edited by Michael Detlefsen, Routledge, London and New York1992, x + 256 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1105-1107
-
- Article
- Export citation
L'anti-fondation en logique et en theorie des ensembles, edited by R. Hinnion, Cahiers du Centre de Logique, no. 7, Academia, Louvain-la-Neuve1992, 112 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1107-1108
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 350-351
-
- Article
- Export citation
Meeting Report
1993 Annual Meeting of the Australasian Association for Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1443-1449
-
- Article
- Export citation
IX Latin American Symposium on Mathematical Logic, Bahía Blanca, 1992
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 682-695
-
- Article
- Export citation
Reviews
Guo-Qiang Zhang. Logic of domains. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, viii + 259 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1108-1110
-
- Article
- Export citation
Front matter
JSL volume 59 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1450-1491
-
- Article
- Export citation
Meeting Report
Annual meeting of the Association for Symbolic Logic, Notre Dame, 1993
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 696-719
-
- Article
- Export citation
Winter meeting of the Association for Symbolic Logic, San Antonio, 1993
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 720-729
-
- Article
- Export citation
Reviews
Marianne Winslett. Updating logical databases, Cambridge tracts in theoretical computer science, no. 9. Cambridge University Press, Cambridge etc. 1990, ix + 211 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1110-1111
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1493-1496
-
- Article
- Export citation
Back matter
JSL volume 59 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation