Bulletin of Symbolic Logic

The Bulletin of Symbolic Logic was established by the Association for Symbolic Logic to provide a journal of high standards to keep the logic community informed quickly of important developments in all parts of the discipline, and to be accessible and of interest to as wide an audience as possible.


Volume 10, Issue 4

Publication Date: December 2004

Articles

Computability theory and differential geometry

Robert I. Soare; 457-486

Zermelo and set theory

Akihiro Kanamori; 487-553

Reviews

Reviews, Bull. Symbolic Logic 10, iss. 4 (2004)

554-593

Meetings

CLE/SBL 25 Years, XIII Brazilian Logic Conference, Campinas, Brazil, May 26—30, 2003

594-595

Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2004), Vienna, Austria, February 17—20, 2004

596

Notices

Officers and Committees of the Association for Symbolic Logic

597-600

Members of the Association

601-653

Notices, Bull. Symbolic Logic 10, iss. 4 (2004)

654-658

2013 © Association for Symbolic Logic