The Bulletin of Symbolic Logic

Volume 1, Issue 3, September 1995

Articles
  • American logic in the 1920s, by Martin Davis, pages 273 -- 278.
  • How to compute antiderivatives, by Chris Freiling, pages 279 -- 316.
    •

    Communications
  • Frege's theorem and the Peano postulates, by George Boolos, pages 317 -- 326.
  • Optimal proofs of determinacy, by Itay Neeman, pages 327 -- 339.
    •

    Obituaries
  • In memoriam: Raphael Mitchel Robinson, by Leon Henkin, pages 340 -- 343.
    •

    Meetings of the Association
  • ASL Spring Meeting, Kansas City, MI, May 6--7, 1994, pages 344 -- 349.
  • ASL Winter Meeting, San Francisco, CA, January 6--7, 1995, pages 359 -- 376.
  • ASL Annual Meeting, Irvine, CA, March 30 -- April 2, 1995, pages 377 -- 389.
    •

    Meetings sponsored by the Association
  • Third Souslin Conference, July 21--27, 1994, page 350.
  • Meeting of the Australasian Association for Logic, August 26--29, 1994, pages 351 -- 358.
    •

  • Notices, pages 390 -- 392.
    • 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.