Contents
Reviews
Heinz-Dieter Ebbinghaus, Jörg Flum, and Wolfgang Thomas. Einführung in die mathematische Logik. Die Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt1978, ix + 288 pp. - H.-D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical logic. Revised English translation by Ann S. Ferebee of the preceding. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, and Tokyo, 1984, ix + 216 pp. - Heinz-Dieter Ebbinghaus, Jörg Flum, and Wolfgang Thomas. Einführung in die mathematische Logik. Second edition. Die Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt1986, ix + 308 pp. - H.-D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical logic. Second edition. Revised English translation by Ann S. Ferebee and Margit Meßmer of the preceding. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1994, x + 289 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1013-1014
-
- Article
- Export citation
Arithmetic, proof theory, and computational complexity, edited by Peter Clote and Krajíček Jan, Oxford logic guides, no. 23, Clarendon Press, Oxford University Press, Oxford and New York1993, xiii + 428 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1014-1017
-
- Article
- Export citation
Ming Li and Paul Vitányi. An introduction to Kolmogorov complexity and its applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xx + 546 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1017-1020
-
- Article
- Export citation
Thomas Streicher. Semantics of type theory. Correctness, completeness and independence results. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, xii + 298 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1020-1021
-
- Article
- Export citation
Logic from computer science, Proceedings of a workshop held November 13–17, 1989, edited by Y. N. Moschovakis, Mathematical Sciences Research Institute publications, vol. 21, Springer-Verlag, New York etc. 1992, xi + 608 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1021-1022
-
- Article
- Export citation
Moti Gitik and Saharon Shelah. Forcings with ideals and simple forcing notions. Israel journal of mathematics, vol. 68 (1989), pp. 129–160. - M. Gitik and S. Shelah. More on simple forcing notions and forcing with ideals. Annals of pure and applied logic, vol. 59 (1993), pp. 219–238. - D. H. Fremlin Real-valued-measurable cardinals. Set theory of the reals, edited by Haim Judah, Israel mathematical conference proceedings, vol. 6, Gelbart Research Institute for Mathematical Sciences, Bar-Ilan University, Ramat-Gan 1993, also distributed by American Mathematical Society, Providence, pp. 151–304.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1022-1024
-
- Article
- Export citation
Front matter
JSL volume 60 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 60 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation