The Bulletin of Symbolic Logic

Volume 15, Issue 03, September 2009

Articles
  • Enumerating types of Boolean functions, by Alasdair Urquhart, pages 273 — 299.
    •

    Communications
  • Isomorphism types of maximal cofinitary groups, by Bart Kastermans, pages 300 — 319.
    •
  • Reviews, pages 320 — 325.
    •

    In this issue:

  • Ralf Krömer, Tool and object, reviewed by Jean-Pierre Marquis, page 320.
  • On Moore's mapping reflection principle, reviewed by Matteo Viale, page 322.
    •

    Obituaries
  • Leon Albert Henkin (1921—2006), by J. Donald Monk, pages 326 — 331.
    •

    Meetings sponsored by the Association
  • XIV Latin American Symposium on Mathematical Logic (SLALM), Paraty, Brazil, May 11—17, 2008, pages 332 — 376.
  • 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), Montréal, Canada, June 16—18, 2008, pages 377 — 378.
    •
  • Notices, pages 379 — 383.
    •
    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.