The Bulletin of Symbolic Logic

Volume 6, Issue 1, March 2000

  • Address at the Princeton University bicentennial conference on problems of mathematics (December 17--19, 1946), by Alfred Tarski, by Hourya Sinaceur, pages 1 -- 44.
  • Towards a re-evaluation of Julius K\"onig's contribution to logic, by Miriam Franchella, pages 45 -- 66.

  • Communications
  • Counterexamples of the 0-1 law for fragments of existential second-order logic: an overview, by Jean-Marie Le Bars, pages 67 -- 82.

  • Reviews, pages 83 -- 96.
  • In this issue:

  • S. Shelah, Proper and improper forcing, reviewed by P\'eter Komj\'ath, page 83.
  • Ten papers by Arthur Apter, reviewed by James W. Cummings, page 86.
  • Articles in Defeasible deontic logic, reviewed by Wiebe van der Hoek, page 89.
  • J. Goubault-Lerrecq and I. Mackie, Proof theory and automated deduction, reviewed by J\"org Hudelmaier, page 94.
  • J. Dejno\v {z}ka, Bertrand Russell on modality and logical relevance, reviewed by Bernard Linsky, page 95.

  • Meetings of the Association
  • 1999 European Summer Meeting of the Association for Symbolic Logic, Utrecht, The Netherlands, August 1--6, 1999, pages 103 -- 137.

  • Notices, pages 138 -- 144.

  • The Association for Symbolic Logic holds the Copyright to the articles in the Bulletin of Symbolic Logic, and these articles cannot be reprinted without permission from the Association. They can be downloaded from this site for personal and educational uses only.