Mathematical Sciences Classification System
97Exx - Foundations of mathematics
-
97E10Comprehensive works
-
97E20Philosophy and mathematics
-
97E30Logic
-
97E40Language of mathematics
-
97E50Reasoning and proving in the mathematics classroom
-
97E60Sets, relations, set theory
-
97E99None of the above, but in this section