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.
Finite conformal hypergraph covers and Gaifman cliques in finite structures
Ian Hodkinson, et al. (2003)
Review: Thomas Strahm, Polynomial Time Operations in Explicit Mathematics; Andrea Cantini, Feasible Operations and Applicative Theories Based on $\lambda \eta $
Fernando Ferreira. (2002)
Eighth Workshop on Logic, Language, Information and Computation (WoLLIC '2001)
Ruy J. G. B. de Queiroz. (2002)
