The Bulletin of Symbolic Logic

Volume 16, Issue 04, December 2010


Articles
  • Well (and better) quasi-ordered transition systems, by Parosh Aziz Abdulla, pages 457 — 515.
  • Von Neumann, Gödel and complexity theory, by Alasdair Urquhart, pages 516 — 530.

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

  • D. Hyde, Vagueness, logic and ontology, reviewed by Nicholas J. J. Smith, page 531.
  • N. J. J. Smith, Vagueness and degrees of truth, reviewed by Dominic Hyde, page 533.
  • W. Kienzler Begriff und Gegenstand, reviewed by Matthias Wille, page 535.
  • A. Bobenrieth M., The origins of the use of the argument of trivialization in the twentieth century, reviewed by Matthias Wille, page 537.

  • Officers and Committees of the Association for Symbolic Logic, pages 539 — 544.
  • Members of the Association, pages 545 — 599.
  • Notices, pages 600 — 604.

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