Contents
Reviews
Moti Gitik. The negation of the singular cardinal hypothesis from O(K) = K++. Annals of pure and applied logic, vol. 43 (1989), pp. 209–234.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 344
-
- Article
- Export citation
James Gasser. Essai sur la nature et les critères de la preuve. DelVal, Cousset, Fribourg, 1989, xiii + 144 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 757-758
-
- Article
- Export citation
Gaisi Takeuti. Proof theory. Studies in logic and the foundations of mathematics, vol. 81. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, vii + 372 pp. - Gaisi Takeuti. Proof theory. Second edition of the preceding. Studies in logic and the foundations of mathematics, vol. 81. North-Holland, Amsterdam etc. 1987, x + 490 pp. - Georg Kreisel. Proof theory: some personal recollections. Therein, pp. 395–405. - Wolfram Pohlers. Contributions of the Schütte school in Munich to proof theory. Therein, pp. 406–431. - Stephen G. Simpson. Subsystems of Z2 and reverse mathematics. Therein, pp. 432–446. - Soloman Feferman. Proof theory: a personal report. Therein, pp. 447–485.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1094-1096
-
- Article
- Export citation
G. Priest and R. Routley. First historical introduction. A preliminary history of paraconsistent and dialethic approaches. Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 3–75. - Ayda I. Arruda. Aspects of the historical development of paraconsistent logic. Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 99–130. - G. Priest and R. Routley. Systems of paraconsistent logic. Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 151–186. - G. Priest and R. Routley. Applications of paraconsistent logic. Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 367–393. - G. Priest and R. Routley. The philosophical significance and inevitability of paraconsistency, Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 483–539.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1503-1504
-
- Article
- Export citation
Alexander S. Kechris and Alain Louveau. Descriptive set theory and the structure of sets of uniqueness. London Mathematical Society lecture note series, no. 128. Cambridge University Press, Cambridge etc. 1987, vii + 367 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-345
-
- Article
- Export citation
C. C. Chang and H. J. Keisler. Model theory. Third edition of XLI 697. Studies in logic and the foundations of mathematics, vol. 73. North-Holland, Amsterdam, New York, etc., 1990, xvi + 650 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1096-1097
-
- Article
- Export citation
Samuel R. Buss. Bounded arithmetic. Studies in proof theory. Lecture notes, no. 3. Bibliopolis, Naples1986, v + 221 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 759-760
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1505-1542
-
- Article
- Export citation
Reviews
Mengenlehre, edited by Ulrich Feigner, Wissenschaftliche Buchgesellschaft, Darmstadt1979, vii + 331 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-348
-
- Article
- Export citation
M. Magidor. Combinatorial characterization of supercompact cardinals. Proceedings of the American Mathematical Society, vol. 42 (1974), pp. 279–285. - Carlos A. di Prisco and William S. Zwicker. Flipping properties and supercompact cardinals. Fundamenta mathematicae, vol. 109 (1980), pp. 31–36. - Donna M. Carr. Pkλ-generalizations of weak compactness. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 31 (1985), pp. 393–401. - Donna M. Carr. The structure of ineffability properties of Pkλ. Acta mathematica Hungarica, vol. 47 (1986), pp. 325–332. - Donna M. Carr. Pkλ partition relations. Fundamenta mathematicae, vol. 128 (1987), pp. 181–195. - Donna M. Carr. A note on the λ-Shelah property. Fundamenta mathematicae, vol. 128, pp. 197–198.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1097-1098
-
- Article
- Export citation
Jean-Yves Girard, Paul Taylor, and Yves LaFont. Proofs and types. Cambridge tracts in theoretical computer science, no. 7. Cambridge University Press, Cambridge etc. 1989, xi + 176 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 760-761
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1543-1544
-
- Article
- Export citation
Reviews
Telis K. Menas. A combinatorial property of pkλ. The journal of symbolic logic, vol. 41 (1976), pp. 225–234. - Donald H. Pelletier. The partition property for certain extendible measures on supercompact cardinals. Proceedings of the American Mathematical Society, vol. 81 (1981), pp. 607–612. - Kenneth Kunen and Donald H. Pelletier. On a combinatorial property of Menas related to the partition property for measures on supercompact cardinals. The journal of symbolic logic, vol. 48 (1983), pp. 475–481. - Julius B. Barbanel. Supercompact cardinals, trees of normal ultrafilters, and the partition property. The journal of symbolic logic, vol. 51 (1986), pp. 701–708.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1098-1100
-
- Article
- Export citation
Uwe Schöning. Logik für Informatiker. Second revised edition. Reihe Informatik, vol. 56. B. I. Wissenschaftsverlag, Mannheim, Vienna, and Zurich, 1989, 172 pp. - Uwe Schöning. Logic for computer scientists. English translation of the preceding. Progress in computer science and applied logic, vol. 8. Birkhäuser, Boston, Basel, and Berlin, 1989, ix + 166 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 761-762
-
- Article
- Export citation
Front matter
JSL volume 56 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
Realism, mathematics and modality, by Hartry Field, Basil Blackwell, Oxford and New York1989, viii + 290 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 348-351
-
- Article
- Export citation
Graeme Forbes. Languages of possibility. An essay in philosophical logic. Aristotelian Society series, vol. 9. Basil Blackwell, Oxford and New York1989, ix + 181 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 351-352
-
- Article
- Export citation
Donna M. Carr and Donald H. Pelletier. Towards a structure theory for ideals on Pkλ. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21, 1987, edited by J. Steprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 41–54. - William S. Zwicker.A beginning for structural properties of ideals on Pkλ. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21, 1987, edited by J. Steprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 201–217.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1100-1101
-
- Article
- Export citation
Back matter
JSL volume 56 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
Reviews
J. Richard Büchi. Finite automata, their algebras and grammars. Towards a theory of formal expressions. Edited by Dirk Siefkes. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1989, xii + 316 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 762-763
-
- Article
- Export citation