Reviews
Yuri V. Matiyasevich. Hilbert's tenth problem. English translation of Desyataya problema Gil'berta, with a foreword by Martin Davis. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1993, xxii + 264 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 675-677
-
- Article
- Export citation
Yu. V. Matiyasevich. Desyataya problema Gil'berta. Russian original of the preceding. Matematicheskaya logika i osnovaniya matematiki. VO “Nauka,” Moscow1993, 223 pp. - Christos H. Papadimitriou. Computational complexity. Addison-Wesley Publishing Company, Reading, Mass., etc., 1994, xv + 523 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 677-678
-
- Article
- Export citation
Advances in linear logic, edited by Jean-Yves Girard, Yves Lafont, and Laurent Regnier, London Mathematical Society lecture note series, no. 222, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, vii + 389 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 678-680
-
- Article
- Export citation
Set theory, Annual Boise Extravaganza in Set Theory (BEST) conference, March 13–15, 1992, April 10–11, 1993, March 25–27,1994, Boise State University, Boise, Idaho, edited by Tomek Bartoszyński and Marion Scheepers, Contemporary mathematics, vol. 192, American Mathematical Society, Providence1996, xii + 184 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 680-683
-
- Article
- Export citation
Chris Mortensen. Inconsistent mathematics. Mathematics and its applications, vol. 312. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1995, ix + 155 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 683-685
-
- Article
- Export citation
Norman M. Martin and Stephen Pollard. Closure spaces and logic. Mathematics and its applications, vol. 369. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1996, xvii + 230 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 685-686
-
- Article
- Export citation
Albert Visser. A course on bimodal provability logic. Annals of pure and applied logic, vol. 73 (1995), pp. 109–142.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 686-687
-
- Article
- Export citation
Jan von Plato. The axioms of constructive geometry. Annals of pure and applied logic, vol. 76 (1995), pp. 169–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 687-688
-
- Article
- Export citation
Front matter
JSL volume 62 issue 2 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 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation