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.
Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001)
Takayasu Ito. (2002)
Review: Tomasz Placek, Mathematical Intuitionism and Intersubjectivity. A Critical Exposition of Arguments for Intuitionism
Leon Horsten. (2002)
Undecidability of first-order intuitionistic and modal logics with two variables
Roman Kontchakov, et al. (2005)