The Bulletin of Symbolic Logic

Volume 13, Issue 03, September 2007

Articles
  • Describing groups, by André Nies, pages 305 — 339.
  • Relating first-order set theories and elementary toposes, by Steve Awodey, Carsten Butz, Alex Simpson, and Thomas Streicher, pages 340 — 358.
    •
  • Reviews, pages 359 — 374.
    •

    In this issue:

  • L. Wos and G. W. Pieper, A fascinating country in the world of computing—your guide to automated reasoning, reviewed by Robert K. Meyer, page 359.
  • J. L. Bell, The continuous and the infinitesimal in mathematics and philosophy, reviewed by Philip Ehrlich, page 361.
  • P. Hinman, Fundamentals of mathematical logic, reviewed by Eric J. Hall, page 363.
  • R. Tieszen, Phenomenology, logic, and the philosophy of mathematics, reviewed by Kai Hauser, page 365.
  • J. Ferreirós and J. J. Gray (editors), The architecture of modern mathematics, reviewed by Torsten Wilholt, page 368.
  • H. J. Gensler, Historical dictionary of logic, reviewed by Roman Murawski, page 370.
  • S. Awodey, Category theory, reviewed by Jiří Rosický, page 371.
  • N. J. Cutland, M. Di Nasso and D. A. Ross (editors), Nonstandard methods and applications in mathematics, reviewed by Alasdair Urquhart, page 372.
    •

    Meetings of the Association
  • 2006—07 Winter Meeting of the Association for Symbolic Logic, New Orleans Marriott and Sheraton New Orleans, New Orleans, Louisiana, January 7—8, 2007, pages 375 — 385.
  • 2007 Annual Meeting of the Association for Symbolic Logic, University of Florida, Gainesville, Florida, March 10—13, 2007, pages 386 — 408.
  • 2006 Annual Meeting of the Association for Symbolic Logic — Addendum, Université du Québec à Montréal, Montréal, Québec, Canada, May 17—21, 2006, page 409.
    •

    Meetings sponsored by the Association
  • 13TH Workshop on Logic, Language, Information and Computation (WoLLIC ’2006), CSLI, Stanford, USA, July 18—21, 2006, pages 410 — 411.
    •
  • Notices, pages 412 — 416.
    •
    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.