Reviews
Matt Fairtlough and Stanley S. Wainer. Hierarchies of provably recursive functions. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 149–207.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 466-467
-
- Article
- Export citation
Petr Hájek, Lluis Godo, and Francesc Esteva. A complete many-valued logic with product-conjunction. Archive for mathematical logic, vol. 35 (1996), pp. 191–208.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 346-347
-
- Article
- Export citation
Defeasible deontic logic, edited by Donald Nute, Synthese library, vol. 263, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, x + 354 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 89-94
-
- Article
- Export citation
Lou van den Dries, Angus Macintyre, and David Marker. The elementary theory of restricted analytic fields with exponentiation. Annals of mathematics, ser. 2 vol. 140 (1994), pp. 183–205. - Lou van den Dries, Angus Macintyre, and David Marker. Logarithmic-exponential power series. Journal of the London Mathematical Society, ser. 2 vol. 56 (1997), pp. 417–434.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 213-216
-
- Article
- Export citation
Wolfram Pohlers. Subsystems of set theory and second-order number theory. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 209–335.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 467-469
-
- Article
- Export citation
Patrick Grim, Gary Mar, and Paul St. Denis. The philosophical computer. Exploratory essays in philosophical computer modeling. With the Group for Logic and Formal Semantics. The MIT Press, Cambridge, Mass., and London, 1998, viii + 323 pp. + CD-ROM
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 347-349
-
- Article
- Export citation
Lou van den Dries. Tame topology and o-minimal structures. London Mathematical Society lecture note series, no. 248. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1998, x + 180 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 216-218
-
- Article
- Export citation
Jean Goubault-Larrecq and Ian Mackie. Proof theory and automated deduction. Applied logic series, vol. 6. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xv + 424 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 94-95
-
- Article
- Export citation
Jan Dejnožka. Bertrand Russell on modality and logical relevance. Avebury series in philosophy. Ashgate, Aldershot, Brookfield, Vt., etc., 1999, ix + 241 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 95-96
-
- Article
- Export citation
H. Garth Dales and W. Hugh Woodin. Super-real fields. Totally ordered fields with additional structure. London Mathematical Society monographs, n.s. no. 14. Clarendon Press, Oxford University Press, Oxford, New York, etc., 1996, xv + 357 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 218-221
-
- Article
- Export citation
Jeremy Avigad and Solomon Feferman. Gödel's functional (“Dialectica”) interpretation. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 337–405.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 469-470
-
- Article
- Export citation
Pablo Domínguez Prieto. Indeterminación y verdad. La polivalencia lógica en la escuela de Lvóv-Varsovia. Nossa y Jara Editores, Madrid 1995, 289 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 349-351
-
- Article
- Export citation
A. S. Troelstra. Realizability. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 407–473.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 470-471
-
- Article
- Export citation
Arnold Beckmann and Wolfram Pohlers. Applications of cut-free infinitary derivations to generalized recursion theory. Annals of pure and applied logic, vol. 94 (1998), pp. 7–19.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 221-222
-
- Article
- Export citation
Stephen Bellantoni and Stephen Cook. A new recursion-theoretic characterization of the polytime functions. Computational complexity, vol. 2 (1992), pp. 97–110. - Arnold Beckmann and Andreas Weiermann. A term rewriting characterization of the polytime functions and related complexity classes. Archive for mathematical logic, vol. 36 (1996), pp. 11–30.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 351-353
-
- Article
- Export citation
Obituary
In Memoriam: Jerzy łoś 1920–1998
-
- Published online by Cambridge University Press:
- 20 July 2016, pp. 97-100
-
- Article
-
- You have access
- Export citation
In Memoriam: Kurt Schütte 1909–1998
-
- Published online by Cambridge University Press:
- 20 July 2016, pp. 101-102
-
- Article
-
- You have access
- Export citation
Reviews
Giorgi Japaridze and Dick de Jongh. The logic of provability. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 475–546.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 472-473
-
- Article
- Export citation
Andreas Weiermann. Sometimes slow growing is fast growing. Annals of pure and applied logic, vol. 90 (1997) pp. 91–99.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 222-223
-
- Article
- Export citation
Yuri Gurevich and Saharon Shelah. On finite rigid structures. The journal of symbolic logic, vol. 61 (1996), pp. 549–562.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 353-355
-
- Article
- Export citation