Browse Project Euclid
Browse Project Euclid's growing database of titles, publishers, and subject categories.
Bulletin of Symbolic Logic
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.
Journal of Symbolic Logic
The Journal of Symbolic Logic aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.
Notre Dame Journal of Formal Logic
Since 1960, the Notre Dame Journal of Formal Logic has published original work in all areas of logic and the foundations of mathematics.
Review of Modern Logic
The Review of Modern Logic is a journal of symbolic logic, foundations, the foundations of mathematics, and set theory.
