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 14, Issue 2
Publication Date: June 2008
Articles
Automata presenting structures: A survey of the finite string case
Sasha Rubin; 169-209
Gentzen’s proof of normalization for natural deduction
Jan von Plato; 240-257
