The Bulletin of Symbolic Logic

Volume 17, Issue 02, June 2011


Articles
  • Foundations of nominal techniques: logic and semantics of variables in abstract syntax, by Murdoch J. Gabbay, pages 161 — 229.
  • Defining integers, by Alexandra Shlapentokh, pages 230 — 251.

  • Communications
  • A descriptive view of combinatorial group theory, by Simon Thomas, pages 252 — 264.

  • Reviews, pages 265 — 271.
  • In this issue:

  • S. Gao, Invariant descriptive set theory, reviewed by Samuel Coskey, page 265.
  • M. Leng, Mathematics and reality, reviewed by Juha Saatsi, page 267.
  • S. Todorcevic, Introduction to Ramsey spaces, reviewed by Claude Laflamme, page 269.
  • M. Mugnai, Logic and mathematics in the seventeenth century, reviewed by Matthias Wille, page 270.

  • Meetings of the Association
  • 2010 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '10, Paris, France, July 25—31, 2010, pages 272 — 329.

  • Notices, pages 330 — 335.

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