Mathematical Logic Quarterly

A Journal for Mathematical Logic, Foundations of Mathematics, and Logical Aspects of Theoretical Computer Science.

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.

The headquarter for 2017-2018 is the University of Valladolid

This master’s degree gives direct access to the interuniversity PhD programme in Logic and Philosophy of Science.

Logic and Philosophy of Science alumni

Encyclopedias, journals, learned societies , virtual libraries

Learn about the latest books published by our teachers

Master's Theses on Logic and Philosophy of Science

Get to know the coordinators of every University

Our staff

All information in one file

Our regular conferences

Our intellectual honesty decalogue

Our quality assurance system