The Bulletin of Symbolic Logic

Volume 10, Issue 04, December 2004

  • Computability theory and differential geometry, by Robert I. Soare, pages 457 — 486.
  • Zermelo and set theory, by Akihiro Kanamori, pages 487 — 553.

  • Reviews, pages 554 — 593.
  • In this issue:

  • K. Fine, The limits of abstraction, reviewed by Alan Weir, page 554.
  • S. Feferman et al., editors, K. Gödel collected works IV—V, reviewed by Jan von Plato, page 558.
  • P. Smith, An introduction to formal logic, reviewed by David DeVidi, page 563.
  • J. Bennett, A philosophical guide to conditionals, reviewed by John P. Burgess, page 565.
  • W. Goldfarb, Deductive logic, reviewed by Sherrilyn Roush, page 570.
  • J. Azzouni, Deflating existential consequence: a case for nominalism, reviewed by John P. Burgess, page 573.
  • D. J. Bennett, Logic made easy: How to know when language deceives you, reviewed by Richard L. Epstein, page 577.
  • D. M. Gabbay and J. Woods, Editors, Handbook of the history of logic. Volume 1: Greek, Indian and Arabian logic, reviewed by Klaus Glashoff, page 579.
  • Various articles on models, reviewed by Martin Zeman, page 583.
  • Three papers by A. Weiermann, reviewed by Georg Moser, page 588.
  • Two recent articles by H.—D. Ebbinghaus concerning materials in Zermelo's Nachlaß, reviewed by R. Gregory Taylor, page 590.
  • G. Klima, Consequences of a closed, token-based semantics: the case of John Buridan, reviewed by Catarina Dutilh Novaes, page 592.

  • Meetings sponsored by the Association
  • CLE/SBL 25 Years, XIII Brazilian Logic Conference, Campinas, Brazil, May 26—30, 2003, pages 594 — 595.
  • Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2004), Vienna, Austria, February 17—February 20, 2004, pages 596 — 596.

  • Officers and Committees of the Association for Symbolic Logic, pages 597 — 600.
  • Members of the Association, pages 601 — 653.
  • Notices, pages 654 — 654.

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