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 17, Issue 1
Publication Date: March 2011
Effective choice and boundedness principles in computable analysis
Vasco Brattka and Guido Gherardi; 73-117
2010 North American Annual Meeting of the Association for Symbolic Logic , George Washington University, Washington, D.C., March 17—20, 2010