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.
Articles by others on the same topic
There are currently no matching articles.