The Bulletin of Symbolic Logic

Volume 4, Issue 4, December 1998

Articles
  • Finite variable logics in descriptive complexity theory, by Martin Grohe, pages 345 -- 398.
  • Construction of truth predicates: approximation versus revision, by Juan Barba, pages 399 -- 417.
    •

    Communications
  • Cut elimination in the presence of axioms, by Sara Negri and Jan von Plato, pages 418 -- 435.
    •

    Meetings of the Association
  • ASL Winter Meeting, Orlando, Florida, January 12--13, 1996, pages 436 -- 442.
  • ASL Spring Meeting, Toronto, Ontario, Canada, May 22--25, 1998, pages 443 -- 458.
    •

    Meetings sponsored by the Association
  • Australasian Association for Logic 1997 Annual Conference, pages 459 -- 464.
    •
  • List of officers and committees of the Association for Symbolic Logic, pages 465 -- 468.
  • List of members of the Association for Symbolic Logic, pages 469 -- 510.
  • Notices, pages 511 -- 516.
    •
    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.