Reviews
Barwise Jon and Moss Lawrence. Vicious circles. On the mathematics of non-wellfounded phenomena. CSLI lecture notes, no. 60. CSLI Publications, Stanford1996, also distributed by Cambridge University Press, New York, x + 390 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1039-1040
-
- Article
- Export citation
Hailperin Theodore. Sentential probability logic. Origins, development, current status, and technical applications. Lehigh University Press, Bethlehem, Pennsylvania, and Associated University Presses, London, 1996, 304 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1040-1041
-
- Article
- Export citation
Levi Isaac. For the sake of the argument. Ramsey test conditionals, inductive inference, and nonmonotonic reasoning. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xv + 341 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1041-1043
-
- Article
- Export citation
Øhrstrøm Peter and Hasle Per F. V.. Temporal logic. From ancient ideas to artificial intelligence. Studies in linguistics and philosophy, vol. 57. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1995, viii + 413 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1044-1046
-
- Article
- Export citation
Solvability, provability, definability: the collected works of Emil L. Post, edited by Davis Martin, Contemporary mathematicians, Birkhäuser, Boston, Basel, and Berlin, 1994, xxviii + 554 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1046-1048
-
- Article
- Export citation
Soare Robert I.. Automorphisms of the lattice of recursively enumerable sets. Part I: maximal sets. Annals of mathematics, ser. 2 vol. 100 (1974), pp. 80–120. - Lerman Manuel and Soare Robert I.. d-Simple sets, small sets, and degree classes. Pacific journal of mathematics, vol. 87 (1980), pp. 135–155. - Cholak Peter. Automorphisms of the lattice of recursively enumerable sets. Memoirs of the American Mathematical Society, no. 541. American Mathematical Society, Providence1995, viii + 151 pp. - Harrington Leo and Soare Robert I.. The Δ30-automorphism method and noninvariant classes of degrees. Journal of the American Mathematical Society, vol. 9 (1996), pp. 617–666.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1048-1055
-
- Article
- Export citation
Front matter
JSL volume 62 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 62 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation