The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible. Its stated purpose is to keep the logic community informed quickly of important developments in all parts of our discipline. At the present time the Bulletin has no backlog, and papers often appear within 9 months or less of submission. They can be purely expository, survey, or historical articles or they may contain, in addition, new ideas or results or new approaches to old ones.
Communications are announcements of important new results and ideas.
In addition to a description of the new results or ideas they are expected to include enough history, background and explanation to make the significance of the work apparent to a wide audience. Papers in the Bulletin may deal with any aspect of logic including mathematical or philosophical logic, logic in computer science or linguistics, the history or philosophy of logic, or applications of logic to other fields. The Bulletin also publishes a Reviews Section edited by Herbert B. Enderton. These Reviews were published in The Journal of Symbolic Logic until the end of 1999. In addition, the Bulletin publishes reports of ASL meetings, Notices of interest to logicians, and the annual listing of ASL officers, Council members, committee members, and individual and institutional members of the Association.