Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more: https://www.cambridge.org/universitypress/about-us/news-and-blogs/cambridge-university-press-publishing-update-following-technical-disruption

Skip to main content Accessibility help

Home
Journals
Bulletin of Symbolic Logic
Volume 6

Bulletin of Symbolic Logic

Other actions
- Information
- - Add bookmark
  - Add alert
  - RSS Feed
  - Share

Published on behalf of Association of Symbolic Logic

Journal Home

Journal home
Journal information
Accepted manuscripts
FirstView articles
Latest issue
All issues
Most cited
Most read
Open access

Bulletin of Symbolic Logic

Refine listing

Actions for selected content:

Volume 6 - June 2000

Reviews

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.

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.

Defeasible deontic logic, edited by Donald Nute, Synthese library, vol. 263, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, x + 354 pp.

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.

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

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.

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.

Jan Dejnožka. Bertrand Russell on modality and logical relevance. Avebury series in philosophy. Ashgate, Aldershot, Brookfield, Vt., etc., 1999, ix + 241 pp.

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.

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.

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.

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.

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.

Obituary

In Memoriam: Jerzy łoś 1920–1998

Reviews

Obituary

In Memoriam: Kurt Schütte 1909–1998

Reviews

Andreas Weiermann. Sometimes slow growing is fast growing. Annals of pure and applied logic, vol. 90 (1997) pp. 91–99.

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.

Yuri Gurevich and Saharon Shelah. On finite rigid structures. The journal of symbolic logic, vol. 61 (1996), pp. 549–562.

Bulletin of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 6 - June 2000

Reviews

Obituary

Reviews

Obituary

Reviews