Click here to activate Remote Access
Click here to activate Remote Access
ISSN 2167-5163
MSC results for "03"
03 (1980-now) Mathematical logic and foundations
03-00 (1980-now) General reference works (handbooks, dictionaries, bibliographies, etc.)
03-01 (1980-now) Instructional exposition (textbooks, tutorial papers, etc.)
03-02 (1980-now) Research exposition (monographs, survey articles)
03-03 (1980-now) Historical (must also be assigned at least one classification number from Section 01)
03-04 (1980-now) Explicit machine computation and programs (not the theory of computation or programming)
03-06 (1980-now) Proceedings, conferences, collections, etc.
03A (1980-now) Philosophical aspects of logic and foundations
03B (1980-now) General logic
03C (1980-now) Model theory
03D (1980-now) Computability and recursion theory
03E (1980-now) Set theory
03F (1980-now) Proof theory and constructive mathematics
03G (1980-now) Algebraic logic
03H (1980-now) Nonstandard models [See also 03C62]
American Mathematical Society