The Bulletin of Symbolic Logic

Volume 2, Issue 2, June 1996

Articles
  • The discovery of my completeness proofs, by Leon Henkin, pages 127 -- 158.
  • Pure proof theory, aims, methods and results, by Wolfram Pohlers, pages 159 -- 188.
    •

    Communications
  • Hyperfinite law of large numbers, by Yeneng Sun, pages 189 -- 198.
  • Definability, automorphisms, and dynamic properties of computably enumerable sets, by Leo Harrington and Robert I. Soare, pages 199 -- 213.
    •

    Meetings sponsored by the Association
  • X Latin American Symposium on Mathematical Logic, Bogot\'a, Colombia, July 24 -- 29, 1995, pages 214 -- 237.
    •
  • Notices, pages 238 -- 241.
  • Erratum, page 242.
    • 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.