The Bulletin of Symbolic Logic

Volume 2, Issue 4, December 1996

Articles
  • Another use of set theory, by Patrick Dehornoy, pages 379 -- 391.
    •

    Communications
  • Definability in the recursively enumerable degrees, by Andr\'e Nies, Richard A. Shore, and Theodore A. Slaman, pages 392 -- 404.
  • Une preuve formelle et intuitionniste du th\'eor\`eme de compl\'etude de la logique classique, by Jean-Louis Krivine, pages 405 -- 421.
  • Almost everywhere equivalence of logics in finite model theory, by Lauri Hella, Phokion G. Kolaitis, and Kerkko Luosto, pages 422 -- 443.
    •

    Obituaries
  • In memoriam: George Stephen Boolos, 1940--1996, by Warren Goldfarb, pages 444 -- 447.
    •

    Meetings of the Association
  • ASL Annual Meeting, Madison, Wisconsin, March 9--12, 1996, pages 448 -- 472.
    •

    Meetings sponsored by the Association
  • G\"odel '96 Conference on the Logical Foundations of Mathematics, Computer Science and Physics, Brno, Czech Republic, August 25--29, 1996, page 473.
    •
  • List of officers and committees of the Association for Symbolic Logic, pages 474 -- 477.
  • List of members of the Association for Symbolic Logic, pages 478 -- 518.
  • Notices, pages 519 -- 522.
  • Errata, pages 523 -- 524.
    •
    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.