Mathematical Logic Quarterly
Vol 60 (4 Issues in 2014)
Print ISSN: 0942-5616 Online ISSN: 1521-3870
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
ISSN: 0942-5616 (print). 1521-3870 (online).
Volume 60. 6 Issues in 2014.