 Journal of Symbolic Logic

The Journal of Symbolic Logic is a scholarly publication that focuses on research in the field of symbolic logic and related areas, particularly in mathematical logic, philosophical logic, and the foundations of mathematics. It publishes original research articles, survey papers, and book reviews that contribute to these domains, covering topics such as model theory, proof theory, recursion theory, set theory, and the philosophy of logic.