The Bulletin of Symbolic Logic

Volume 18, Issue 02, June 2012

Articles
  • A survey of Mučnik and Medvedev degrees, by Peter G. Hinman, pages 161 — 229.
  • On Tarski's foundations of the geometry of solids, by Arianna Betti and Iris Loeb, pages 230 — 260.
    •

    Communications
  • The stable core, by Sy-David Friedman, pages 261 — 267.
    •
  • Reviews, pages 268 — 274.
    •

    In this issue:

  • L. Haaparanta (editor), The development of modern logic, reviewed by Alasdair Urquhart, page 268.
  • A. G. Burgess and J. P. Burgess, Truth, reviewed by Volker Halbach, page 271.
  • A. L. Mann, G. Sandu, and M. Sevenster, Independence-friendly logic, reviewed by Julian Bradfield, page 272.
  • I. Welty, Frege on indirect proof, reviewed by Matthias Wille, page 273.
    •

    Meetings of the Association
  • 2011 North American Annual Meeting of the Association for Symbolic Logic , University of California at Berkeley, Berkeley, CA, USA, March 24—27, 2011, pages 275 — 305.
    •
  • Notices, pages 306 — 310.
  • Erratum , page 311.
    •
    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.