Skip to main content Accessibility help
×
  • ISSN: 1079-8986 (Print), 1943-5894 (Online)
  • Editor: James Cummings Carnegie Mellon University, USA
  • Editorial board
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. It is designed to cover all areas within the purview of the ASL: mathematical logic and its applications, philosophical and non-classical logic and its applications, history and philosophy of logic, and philosophy and methodology of mathematics.
The Bulletin of Symbolic Logic primarily publishes two types of papers: Articles presenting topics of broad interest in a way that is accessible to a large audience; and Communications which are announcements of important new results and ideas in any aspect of logic.
The Bulletin also publishes a Reviews Section (edited by Graham Leach-Kouse), a Thesis Abstract Section (edited by Christian Rosendal) and 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.

Mathematics « Cambridge Core Blog

  • The PageRank algorithm analysed by EJAM
  • 17 November 2022, Lorenz Kuger
  • The PageRank algorithm was developed by Google co-founder Larry Page, and first introduced in 1998. It is based on the idea that a website’s importance can...
  • John Ockendon Prize 2022 winner announced
  • 15 November 2022, Martin Burger
  • The John Ockendon Prize launched in 2016 and is named after the founding editor of the European Journal of Applied Mathematics. This award recognises researchers...