The Bulletin of Symbolic Logic

Volume 1, Issue 4, December 1995

Articles
  • Inner models and large cardinals, by Ronald Jensen, pages 393 -- 407.
  • Singular cardinals and the PCF theory, by Thomas Jech, pages 408 -- 424.
  • The complexity of propositional proofs, by Alasdair Urquhart, pages 425 -- 467.
    •

    Communications
  • Recent advances in ordinal analysis: $\Pi^1-2$ -- CA and related systems, by Michael Rathjen, pages 468 -- 485.
    •

    Obituaries
  • In memoriam: Alonzo Church, 1903 -- 1995, by H. B. Enderton, pages 486 -- 488.
    •

    Meetings of the Association
  • European ASL Summer Meeting, Keele University, 1993, addition, pages 489-- 490.
    •
  • List of officers and committees of the Association for Symbolic Logic, pages 491 -- 534.
  • List of members of the Association for Symbolic Logic, pages 491 -- 534.
  • Notices, pages 535 -- 540.
    •
    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.