Contents
Reviews
Saharon Shelah and Lee Stanley. A theorem and some consistency results in partition calculus. Annals of pure applied logic, vol. 36 (1987), pp. 119–152.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 888-889
-
- Article
- Export citation
Robert I. Soare. Recursively enumerable sets and degrees. A study of computable functions and computably generated sets. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1987, xviii + 437 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 356-357
-
- Article
- Export citation
Richard A. Shore. Determining automorphisms of the recursively enumerable sets. Proceedings of the American Mathematical Society, vol. 65 (1977), pp. 318– 325. - Richard A. Shore. The homogeneity conjecture. Proceedings of the National Academy of Sciences of the United States of America, vol. 76 (1979), pp. 4218– 4219. - Richard A. Shore. On homogeneity and definability in the first-order theory of the Turing degrees. The journal of symbolic logic, vol. 47 (1982), pp. 8– 16. - Richard A. Shore. The arithmetic and Turing degrees are not elementarily equivalent. Archiv für mathematische Logik und Grundlagenforschung, vol. 24 (1984), pp. 137– 139. - Richard A. Shore. The structure of the degrees of unsolvabitity. Recursion theory, edited by Anil Nerode and Richard A. Shore, Proceedings of symposia in pure mathematics, vol. 42, American Mathematical Society, Providence1985, pp. 33– 51. - Theodore A. Slaman and W. Hugh Woodin. Definability in the Turing degrees. Illinois journal of mathematics, vol. 30 (1986), pp. 320– 334.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 358-360
-
- Article
- Export citation
V. A. Uspensky. Gödel's incompleteness theorem. English translation by Neal Koblitz of Téoréma Gëdélá o népolnoté. Little mathematics library. Mir Publishers, Moscow1987, also distributed by Imported Publications, Chicago, 104 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 889-891
-
- Article
- Export citation
Marcia J. Groszek. Applications of iterated perfect set forcing. Annals of pure and applied logic, vol. 39 (1988), pp. 19– 53.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 360-361
-
- Article
- Export citation
V. A. Uspénskij. Téoréma Gëdélá o népolnoté. Russian original of the preceding. Populárnyé lékclii po matématiké, no. 57. “Nauka,” Moscow1982, 112 pp. - Frank Jackson. Conditionals. Philosophical theory series. Basil Blackwell, Oxford and New York1987, viii + 148 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 891-892
-
- Article
- Export citation
H. G. Dales and W. H. Woodin. An introduction to independence for analysts. London Mathematical Society lecture note series, vol. 115. Cambridge University Press, Cambridge etc. 1987, xiii + 241 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 361-362
-
- Article
- Export citation
C. Anthony Anderson. General intensional logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 355–385.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 892-894
-
- Article
- Export citation
Sergio Albeverio, Jens Erik Fenstad, Raphael HØEgh-Krohn, and Tom Lindstrom. Nonstandard methods in stochastic analysis and mathematical physics. Pure and applied mathematics, vol. 122. Academic Press, Orlando etc. 1986, xi + 514 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 362-363
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 895-896
-
- Article
- Export citation
Front matter
JSL volume 55 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
Temporal logics and their applications, edited by Antony Galton, Academic Press, London, San Diego, etc., 1987, xii + 244 pp.—Therein: - Antony Galton. Temporal logic and computer science: an overview. Pp. 1– 52. - Howard Barringer. The use of temporal logic in the compositional specification of concurrent systems. Pp. 53– 90. - Roger Hale. Temporal logic programming. Pp. 91– 119. - Fariba Sadri. Three recent approaches to temporal reasoning. Pp. 121– 168. - Antony Galton. The logic of occurrence. Pp. 169– 196. - Dov Gabbay. Modal and temporal logic programming. Pp. 197– 237.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 364-366
-
- Article
- Export citation
Matthew Hennessy. Algebraic theory of processes. Foundations of computing series. The MIT Press, Cambridge, Mass., and London, 1988, ix + 272 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 366-368
-
- Article
- Export citation
Back matter
JSL volume 55 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation
Reviews
Rob R. Brady. The logicworks. Student manual. Philosophy Documentation Center, Bowling Green1987, i + 21 pp. + 2 disks. - Rob R. Brady. The logicworks. Guide for instructors. Philosophy Documentation Center, Bowling Green1987, i + 23 pp. + disk.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-370
-
- Article
- Export citation
Jon Barwise and John Etchemendy. Turing's world. Kinko's Academic Courseware Exchange, Santa Barbara1986, viii + 68 pp. + disk. - Jon Barwise and John Etchemendy. Tarski's world. Kinko's Academic Courseware Exchange, Santa Barbara1987, vii + 85 pp. + disk.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 370-371
-
- Article
- Export citation
Other
Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-386
-
- Article
- Export citation
European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 387-435
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Chicago, 1989
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 436-445
-
- Article
- Export citation
Logic and linguistics meeting
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 446
-
- Article
- Export citation