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.
Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
Peter Schroeder-Heister, et al. (2002)
Fairouz Kamareddine, et al. (2002)
Dagfinn Follesdal, et al. (2002)