The Bulletin of Symbolic Logic

Volume 18, Issue 03, September 2012

Articles
  • Gentzen's proof systems: byproducts in a work of genius, by Jan von Plato, pages 313 — 367.
  • Model theory of analytic functions: some historical comments, by Deirdre Haskell, pages 368 — 381.
  • Vaught's Theorem on Axiomatizability by a Scheme, by Albert Visser, pages 382 — 402.
    •
  • Reviews, pages 403 — 412.
    •

    In this issue:

  • L. Horsten, The Tarskian Turn: deflationism and axiomatic truth, reviewed by Martin Fischer, page 403.
  • E. Casanovas, Simple theories and hyperimaginaries, reviewed by Bradd Hart, page 405.
  • J. Väänänen, Models and games, reviewed by Ian Hodkinson, page 406.
  • A. Urquhart, Henry M. Sheffer and notational relativity, reviewed by Matthias Wille, page 408.
  • Various papers on $Π01$ classes, reviewed by Douglas Cenzer, page 409.
    •

    Obituaries
  • In Memoriam: Ernst Specker (1920—2011), pages 413 — 417.
    •

    Meetings of the Association
  • 2011 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '11, Barcelona, Catalonia, Spain, July 11—16, 2011, pages 418 — 476.
    •
  • Notices, pages 477 — 480.
    •
    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.