The Bulletin of Symbolic Logic

Volume 12, Issue 03, September 2006

  • Degree structures: local and global investigations, by Richard A. Shore, pages 369 — 389.
  • Randomness and computability: open questions, by Joseph S. Miller and André Nies, pages 390 — 410.
  • Calibrating randomness, by R. Downey, D. R. Hirschfeldt, A. Nies, and S. A. Terwijn, pages 411 — 491.

  • Reviews, pages 492 — 502.
  • In this issue:

  • M. Hallett and U. Majer (editors), David Hilbert’s lectures on the foundations of geometry 1891—1902, reviewed by Jan von Plato, page 492.
  • M. Dietzfelbinger, Primality testing in polynomial time, reviewed by Charles Rackoff, page 494.
  • D. Macbeth, Frege’s logic, reviewed by Norma B. Goethe, page 496.
  • A. Bundy, D. Basin, D. Hutter and A. Ireland, Rippling: meta-level guidance for mathematical reasoning, reviewed by Joe Hurd, page 498.
  • D. Makinson, Bridges from classical to nonmonotonic logic, reviewed by Hykel Hosni, page 499.

  • Meetings of the Association
  • 2005—06 Winter Meeting of the Association for Symbolic Logic, The Hilton New York Hotel, New York, NY, December 27—29, 2005, pages 503 — 516.

  • Meetings sponsored by the Association
  • 2005 Annual Conference of the Australasian Association for Logic, Perth, Australia, September 24—25, 2005, pages 517 — 523.

  • Notices, pages 524 — 528.

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