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 3
Publication Date: September 2008
A natural axiomatization of computability and proof of Church's Thesis
Nachum Dershowitz and Yuri Gurevich; 299-350
Reviews
2007—2008 Winter Meeting of the Association for Symbolic Logic, San Diego Convention Center, San Diego, CA, January 8—9, 2008
402-411
2008 Spring Meeting of the Association for Symbolic Logic, The Sheraton Hotel, Pasadena, California, March 20—21, 2008
412-417
2008 Annual Meeting of the Association for Symbolic Logic, University of California, Irvine, Irvine, California, March 27—30, 2008
418-437
The 2007 Annual Conference of the Australasian Association for Logic, Melbourne, Australia, November 9—11, 2007
438-443
