Contents
Meeting Report
1999 European Summer Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 103-137
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 355-356
-
- Article
- Export citation
Franco Montagna, Giulia Simi, and Andrea Sorbi. Logic and probabilistic systems. Archive for mathematical logic, vol. 35 (1996), pp. 225–261.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 223-225
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 473-475
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 475-476
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 138-144
-
- Article
- Export citation
Reviews
Grigori Mints, Sergei Tupailo, and Wilfried Buchholz. Epsilon substitution method for elementary analysis. Archive for mathematical logic, vol. 35 (1996), pp. 103–130.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 356-357
-
- Article
- Export citation
Bart Jacobs. Categorical logic and type theory. Studies in logic and the foundations of mathematics, vol. 141. Elsevier, Amsterdam etc. 1999, xvii + 760 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 225-229
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 476-477
-
- Article
- Export citation
Front matter
BSL volume 6 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 20 July 2016, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Obituary
In Memoriam: Hugues Leblanc March 19, 1924–September 10, 1999
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. 230-231
-
- Article
-
- You have access
- Export citation
Reviews
Michael Rathjen. Recent advances in ordinal analysis: -CA and related systems. The bulletin of symbolic logic, vol. 1 (1995), pp. 468–485.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 357-358
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 358-360
-
- Article
- Export citation
Back matter
BSL volume 6 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 20 July 2016, pp. b1-b5
-
- Article
-
- You have access
- Export citation
Meeting Report
1999–2000 Winter Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 232-247
-
- Article
- Export citation
Reviews
Helmut Schwichtenberg. Finite notations for infinite terms. Annals of pure and applied logic, vol. 94 (1998), pp. 201–222.
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 477
-
- Article
- Export citation
Meeting Report
2000 Annual Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 361-396
-
- Article
- Export citation
Reviews
Anton Setzer. Well-ordering proofs for Martin-Löf type theory. Annals of pure and applied logic, vol. 92 (1998), pp. 113–159.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 478-479
-
- Article
- Export citation
Meeting Report
Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 248-255
-
- Article
- Export citation
Reviews
Handbook of logic in artificial intelligence and logic programming, Volume 3, Nonmonotonic reasoning and uncertain reasoning, edited by Dov M. Gabbay, C. J. Hogger, and J. A. Robinson, with D. Nute, Handbooks of logic in computer science and artificial intelligence and logic programming, Clarendon Press, Oxford University Press, Oxford, New York, etc., 1994, xix + 529 pp.–
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 480-484
-
- Article
- Export citation