Contents
Research Article
Extenders, embedding normal forms, and the Martin-Steel-theorem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1137-1176
-
- Article
- Export citation
Reviews
F. P. Ramsey, Universals. A reprint of 2954. Philosophical papers, by F. P. Ramsey, edited by D. H. Mellor, Cambridge University Press, Cambridge etc. 1990, pp. 8–30. (Also in Foundations, Essays in philosophy, logic, mathematics and economics, by F. P. Ramsey, edited by D. H. Mellor, Routledge & Kegan Paul, London, and Humanities Press, Atlantic Highlands, N.J., 1978, pp. 17-39.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1177-1180
-
- Article
- Export citation
The philosophy of mathematics, edited by W D. Hart, Oxford readings in philosophy, Oxford University Press, Oxford, New York, etc., 1996, vi + 316 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1180-1183
-
- Article
- Export citation
Newton C. A. da Costa. On the theory of inconsistent formal systems. Notre Dame journal of formal logic, vol. 15 (1974), pp. 497–510. - Newton C. A. da Costa. The philosophical import of paraconsistent logic. The journal of non-classical logic (Campinas), vol. 1 (1982), pp. 1–19. - Newton C. A. da Costa. On paraconsistent set theory. Logique et analyse, n.s. vol. 29 (1986), pp. 361–371. - Newton C. A. da Costa, Jean-Yves Béziau, and Otávio Bueno. Paraconsistent logic in a historical perspective. Logique et analyse, vol. 38 (for 1995, pub. 1997), pp. 111–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1183-1184
-
- Article
- Export citation
Wolfram Pohlers. Pure proof theory. Aims, methods and results. The bulletin of symbolic logic, vol. 2 (1996), pp. 159–188.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1185
-
- Article
- Export citation
Kosta Došen. Deductive completeness. The bulletin of symbolic logic, vol. 2 (1996), pp. 243–283.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1185-1186
-
- Article
- Export citation
Murray Shanahan. Solving the frame problem. A mathematical investigation of the common sense law of inertia. Artificial intelligence series. The MIT Press, Cambridge, Mass., and London, 1997, xxxiv + 407 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1186-1188
-
- Article
- Export citation
Sergei S. Goncharov. Countable Boolean algebras and decidability. English translation of Schetnye bulevy algebry i razreshimost′. Siberian school of algebra and logic. Consultants Bureau, New York, London, and Moscow, 1997, xii + 318 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1188-1190
-
- Article
- Export citation
Sergeǐ S. Goncharov. Schetnye bulevy algebry i razreshimost′. Russian original of the preceding. Sibirskaya shkola algebry i logiki. Nauchnaya Kniga, Novosibirsk1996, 364 + xii pp. - Anand Pillay. Geometric stability theory. Oxford logic guides, no. 32. Clarendon Press, Oxford University Press, Oxford, New York, etc., 1996, x + 361 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1190
-
- Article
- Export citation
Miodrag Rašković and Radosav ĐorĐević. Probability quantifiers and operators. Series in pure and applied mathematics. Vesta, Belgrade 1996, also distributed by Bid International Co., Sherman Oaks, Calif., iv + 121 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1191-1193
-
- Article
- Export citation
Krzysztof Ciesielski. Set theory for the working mathematician. London Mathematical Society student texts, no. 39. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, xi + 236 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1193-1194
-
- Article
- Export citation
María Manzano. Extensions of first order logic. Cambridge tracts in theoretical computer science, no. 19. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xxii + 388 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1194-1196
-
- Article
- Export citation
Reuben Hersh. Proving is convincing and explaining. Educational studies in mathematics, vol. 24 (1993), pp. 389–399. - Philip J. Davis. Visual theorems. Educational studies in mathematics, vol. 24 (1993), pp. 333–344. - Gila Hanna and H. Niels Jahnke. Proof and application. Educational studies in mathematics, vol. 24 (1993), pp. 421–438. - Daniel Chazan. High school geometry students' justification for their views of empirical evidence and mathematical proof. Educational studies in mathematics vol. 24 (1993),pp. 359–387.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1196-1200
-
- Article
- Export citation
Front matter
JSL volume 63 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 63 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation