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

Meeting Report

1999 European Summer Meeting of the Association for Symbolic Logic

Reviews

Lauri Hella, Phokion G. Kolaitis, and Kerkko Luosto. How to define a linear order on finite models. Annals of pure and applied logic, vol. 87 (1997), pp. 241–267.

Franco Montagna, Giulia Simi, and Andrea Sorbi. Logic and probabilistic systems. Archive for mathematical logic, vol. 35 (1996), pp. 225–261.

Pavel Pudlák. The lengths of proofs. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 547–637.

Gerhard Jäger and Robert F. Stärk. A proof-theoretic framework for logic programming. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 639–682.

Other

Notices

Reviews

Grigori Mints, Sergei Tupailo, and Wilfried Buchholz. Epsilon substitution method for elementary analysis. Archive for mathematical logic, vol. 35 (1996), pp. 103–130.

Bart Jacobs. Categorical logic and type theory. Studies in logic and the foundations of mathematics, vol. 141. Elsevier, Amsterdam etc. 1999, xvii + 760 pp.

Robert L. Constable. Types in logic, mathematics and programming. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 683–786.

Obituary

In Memoriam: Hugues Leblanc March 19, 1924–September 10, 1999

Front matter

BSL volume 6 issue 1 Cover and Front matter

Reviews

Michael Rathjen. Recent advances in ordinal analysis: -CA and related systems. The bulletin of symbolic logic, vol. 1 (1995), pp. 468–485.

Michael Woods. Conditionals. Edited by David Wiggins. Clarendon Press, Oxford University Press, Oxford, New York, etc., 1997, ix + 152 pp. - Dorothy Edgington. Commentary. Therein, pp. 95–137.

Back matter

BSL volume 6 issue 1 Cover and Back matter

Meeting Report

1999–2000 Winter Meeting of the Association for Symbolic Logic

Reviews

Helmut Schwichtenberg. Finite notations for infinite terms. Annals of pure and applied logic, vol. 94 (1998), pp. 201–222.

Meeting Report

2000 Annual Meeting of the Association for Symbolic Logic

Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic

Reviews

Anton Setzer. Well-ordering proofs for Martin-Löf type theory. Annals of pure and applied logic, vol. 92 (1998), pp. 113–159.

Bulletin of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 6 - June 2000

Meeting Report

Reviews

Other

Reviews

Obituary

Front matter

Reviews

Back matter

Meeting Report

Reviews

Meeting Report

Reviews