MATHEMATICAL LOGIC QUARTERLY

《数学逻辑季刊》出版数学逻辑和数学基础及相关领域的原创文章，如一般逻辑、模型理论、递归理论、集合理论、证明理论和构造数学、代数逻辑、非标准模型和理论计算机科学的逻辑方面。-一本数学逻辑，数学基础，和理论计算机科学的逻辑方面的杂志

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