The Bulletin of Symbolic Logic was established 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 a wide audience.

Review: Martin Davis, Engines of Logic. Mathematicians and the Origin of the Computer
John W. Dawson. (2002)
