The Bulletin of Symbolic Logic

Volume 18, Issue 04, December 2012

Articles
  • The philosophy of logic, by Penelope Maddy, pages 481 — 504.
  • Fifty years of the spectrum problem: survey and new results, by Arnaud Durand, Neil D. Jones, Johann A. Makowsky, and Malika More, pages 505 — 553.
  • The graph-theoretic approach to descriptive set theory, by Benjamin D. Miller, pages 554 — 575.
    •
  • Reviews, pages 576 — 580.
    •

    In this issue:

  • J. Krajíček, Forcing with random variables and proof complexity, reviewed by Sam Buss, page 576.
  • Several papers on automatic randomness, reviewed by Mia Minnes, page 579.
    •
  • Officers and Committees of the Association for Symbolic Logic, pages 581 — 585.
  • Members of the Association, pages 586 — 639.
  • Notices, pages 640 — 644.
    •
    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.