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 16, Issue 1

Publication Date: March 2010

Communication

Strong logics of first and second order

Peter Koellner; 1-36

The Axiom of Infinity and transformations j: V→V

Paul Corazza; 37-84

Reviews

Reviews, vol. 16, issue 01 (2010)

85-89

Meetings

2009 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '09, Sofia, Bulgaria, July 31—August 5, 2009

90-142

16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009), Tokyo, Japan, July 21—24, 2009

143-144

Notices

Notices, vol. 16, issue 01 (2010)

145-150

Errata

Corrigendum

151

2010 © Association for Symbolic Logic