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: Michael Alekhnovich, Sam Buss, Shlomo Moran, Toniann Pitassi, Minimum Propositional Proof Length Is NP-Hard to Linearly Approximate
Alexander Razborov. (2002)
Review: Alasdair Urquhart, The Complexity of Linear Logic with Weakening
Herman Ruge Jervell. (2002)
The absolute arithmetic continuum and the unification of all numbers great and small
Philip Ehrlich. (2012)
