Welcome to the mathematics research hub for papers categorised under MSC 2010 classifications as Mathematical Logic and Foundations. Papers on this page are organised in collections from 03- through 03H, although not all collections may have papers published in that area at this time. Visit the MSC2010 database from MathScinet for a full list of codes.
Jump to the following areas
03-xx: Mathematical logic and foundations 03Axx: Philosophical aspects of logic and foundation 03Bxx: General logic
03Cxx: Model theory 03Dxx: Computability and recursion theory 03Exx: Set theory 03Fxx: Proof theory and constructive mathematics
03Gxx: Algebraic logic 03Hxx: Nonstandard models