The Bulletin of Symbolic Logic

Volume 3, Issue 2, June 1997

  • Alonzo Church, by Richard A. Shore, page 153.
    •

    Articles
  • Step by recursive step: Church's analysis of effective calculability, by Wilfried Sieg, pages 154 -- 180.
  • The impact of the lambda calculus in logic and computer science, by Henk Barendregt, pages 181 -- 215.
  • Logical consequence revisited, by Jos\'e M. Sag\"uillo, pages 216 -- 241.
    •

    Meetings of the Association
  • European ASL Summer meeting, Donostia-San Sebasti\'an, Spain, 1996, pages 242 -- 277.
    •
  • Notices, pages 278 -- 279.
  • Erratum, pages 280 -- 291.
    •
    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.