Mathematical Logic Quarterly publishes original contributions on mathematical logic and foundations of mathematics and related areas, such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science.– A Journal for Mathematical Logic, Foundations of Mathematics, and Logical Aspects of Theoretical Computer Science

《數學邏輯季刊》出版數學邏輯和數學基礎及相關領域的原創文章，如一般邏輯、模型理論、遞歸理論、集合理論、證明理論和構造數學、代數邏輯、非標準模型和理論計算機科學的邏輯方面。-一本數學邏輯，數學基礎，和理論計算機科學的邏輯方面的雜志