The Bulletin of Symbolic Logic

Volume 10, Issue 2, June 2004


Communications
  • Predicative fragments of Frege Arithmetic, by Øystein Linnebo, pages 153 — 174.
  • Asymptotic cones and ultrapowers of Lie groups, by Linus Kramer and Katrin Tent, pages 175 — 185.
  • Erdős graphs resolve Fine's canonicity problem, by Robert Goldblatt, Ian Hodkinson, and Yde Venema, pages 186 — 208.

  • Reviews, pages 209 — 233.
  • In this issue:

  • D. Gabbay, Fibring logics, reviewed by Marcus Kracht, page 209.
  • R. Amadio and P. L. Curien, Domains and lambda-calculi, reviewed by René David, page 211.
  • B. C. Pierce, Types and programming languages, reviewed by Frank Pfenning, page 213.
  • M. Giaquinto, The search for certainty: a philosophical account of foundations of mathematics, reviewed by Mark Colyvan, page 214.
  • S. Ghilardi and M. Zawadowski, Sheaves, games, and model completions, reviewed by Jaap van Oosten, page 216.
  • C. Stephen Layman, The power of logic, reviewed by Chris Swoyer, page 218.
  • D. M. Gabbay, R. H. Johnson, H. J. Ohlbach, and J. Woods (editors), Handbook of the logic of argument and inference, reviewed by V. V. Rybakov, page 220.
  • I. Lavrov and L. Maksimova, Problems in set theory, mathematical logic, and the theory of algorithms, reviewed by John T. Baldwin, page 222.
  • Terese, Term rewriting systems, reviewed by Jürgen Giesl, page 223.
  • A. Lubotzky and D. Segal, Subgroup growth, reviewed by Marcus du Sautoy, page 225.
  • N. Vassallo, editor, La filosofia di Gottlob Frege, reviewed by Miriam Franchella, page 226.
  • E. Köhler et al. and B. Buldt et al., Kurt Gödel: Wahrheit und Beweisbarkeit (Bände 1—2), reviewed by Matthias Wille, page 228.
  • C. Penco, Frege: two theses, two senses, reviewed by Norma B. Goethe, page 232.

  • Meetings of the Association
  • 2003 Summer Meeting of the Association for Symbolic Logic Logic Colloquim '03, Helsinki, Finland, August 14—20, 2003, pages 234 — 280.
  • 2003—04 Winter Meeting of The Association for Symbolic Logic, Phoenix Civic Plaza, Phoenix, Arizona, January 9—10, 2004, pages 281 — 289.

  • Meetings sponsored by the Association
  • 2003 Annual Conference of the Australasian Association for logic, Adelaide, Australia July 5—6, 2003, pages 290 — 294.
  • 10TH Workshop on Logic, Language, Information and Computation (WoLLIC '2003), Ouro Preto (Minas Gerais), Brazil July 29—August 1, 2003, pages 295 — 296.

  • Notices, pages 297 — 302.

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