Contents
Reviews
Jean-Blaise Grize. Logique moderne. Fascicle I. Logique des propositions et des prédicats, déduction naturelle. Mathematiques et sciences de l'homme, no. 10. Mouton, Paris and The Hague, and Gauthier-Villars, Paris, 1969, 90 pp. - Jean-Blaise Grize. Logique moderne. Fascicle I. Logique des propositions et des prédicats, déduction naturelle. Second edition of the preceding. Mathématiques et sciences de l'homme, no. 10. Mouton, Paris and The Hague, and Gauthier-Villars, Paris, 1972, 90 pp. - Jean-Blaise Grize. Logique moderne. Fascicle II. Logique des propositions et des prédicats, tables de vérité et axiomatisation. Mathématiques et sciences de l'homme, no. 14. Mouton, Paris and The Hague, and Gauthier-Villars, Paris, 1971, 79 pp. - Jean-Blaise Grize. Logique moderne. Fascicle III. Implications, modalités, logiques polyvalentes, logique combinatoire, ontologie et méréologie de Leśniewski. Mathématiques et sciences de l'homme, no. 22. Mouton, Paris and The Hague, and Gauthier-Villars, Paris, 1973, 104 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1484-1485
-
- Article
- Export citation
A. T. Shearman. The development of symbolic logic. A critical-historical study of the logical calculus. A reprint of 1413. Thoemmes, Bristol1990, xi + 242 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1485-1487
-
- Article
- Export citation
Perspectives on the history of mathematical logic, edited by Thomas Drucker, Birkhäuser, Boston, Basel, and Berlin, 1991, xxiii + 195 pp. - John W. Dawson Jr. The reception of Gödel's incompleteness theorems. Pp. 84–100. (Reprinted from PSA 1984, Proceedings of the 1984 biennial meeting of the Philosophy of Science Association, volume two, edited by Peter D. Asquith and Philip Kitcher, Philosophy of Science Association, East Lansing, Mich., 1985, pp. 253–271.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1487-1489
-
- Article
- Export citation
Andrew B. Carson. Model completions, ring representations and the topology of the Pierce sheaf. Pitman research notes in mathematics, no. 209. Longman Scientific and Technical, Harlow, Essex, and John Wiley & Sons, New York, 1989, vi + 107 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1489
-
- Article
- Export citation
Ker-I Ko. Complexity theory of real functions. Progress in theoretical computeer science. Birkhäuser, Boston, Basel, and Berlin, 1991, viii + 309 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1489-1491
-
- Article
- Export citation
Logic and combinatorics, Proceedings of the AMS-IMS-SIAM joint summer research conference held August 4–10, 1985, edited by Stephen Simpson, Contemporary mathematics, vol. 65, American Mathematical Society, Providence1987, xi + 394 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1491-1497
-
- Article
- Export citation
Meeting Report
Logic and Linguistics Meeting
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1498-1499
-
- Article
- Export citation
Annual Meeting of the Australasian Association for Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1500-1503
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1504-1542
-
- Article
- Export citation
Officers and Members
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1543-1544
-
- Article
- Export citation
Front matter
JSL volume 57 issue 4 Cover and Back matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 57 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