The Bulletin of Symbolic Logic

Volume 13, Issue 04, December 2007

  • The complexity of propositional proofs, by Nathan Segerlind, pages 417 — 481.
  • Descriptive set theory of families of small sets, by Étienne Matheron and Miroslav Zelený, pages 482 — 537.

  • Reviews, pages 538 — 552.
  • In this issue:

  • S. Hedman, A first course in logic: an introduction to model theory, proof theory, computability, and complexity, reviewed by Alasdair Urquhart, page 538.
  • R. Epstein, Classical mathematical logic, reviewed by H. B. Enderton, page 540.
  • G. Priest, Doubt truth to be a liar, reviewed by Kevin Scharp, page 541.
  • R. Brady, Universal logic, reviewed by Greg Restall, page 544.
  • K. Sigmund, J. Dawson, and K. Mühlberger, Kurt Gödel: Das Album. The Album, reviewed by Volker Peckhaus, page 547.
  • J. Barnes, Truth, etc., reviewed by Mirja Hartimo, page 549.

  • Meetings of the Association
  • 2007 Spring Meeting of the Association for Symbolic Logic, The Palmer House Hilton Hotel, Chicago, Illinois, April 19—21, 2007, pages 553 — 560.

  • Officers and Committees of the Association for Symbolic Logic, pages 561 — 565.
  • Members of the Association, pages 566 — 621.
  • Notices, pages 622 — 626.

  • 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.