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

Publication Date: March 2003

The Reviews, Bull. Symbolic Logic 9, iss. 1 (2003)

Richard A. Shore; 1-2

Articles

Gödel, Tarski, Church, and the Liar

György Serény; 3-25

Communications

Local initial segments of the Turing degrees

Bjørn Kjos-Hanssen; 26-36

Reviews

Reviews, Bull. Symbolic Logic 9, iss. 1 (2003)

37-50

Meetings

2002 Annual Meeting of the Association for Symbolic Logic, University of Nevada, Las Vegas, Las Vegas, Nevada June 1–4, 2002

51-70

2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium ’02, Münster, Germany, August 3–9, 2002

71-120

9th Workshop on Logic, Language, Information and Computation (WoLLIC ’2002), Rio de Janeiro, Brazil July 30–August 2, 2002

121-122

Notices

Notices, Bull. Symbolic Logic 9, iss. 1 (2003)

123-127

2013 © Association for Symbolic Logic