Language:   Search:   Contact
MSC 2000
MSC 2010
MSC 2010 | Search and Browse Print

Search and Browse the MSC 2000

Please note that in the second half of 2009, MSC2010 is deployed in the production of ZMATH and will become official standard in January 2010.

Enter a query and click »Search«...

03-XX Mathematical logic and foundations → ZMATH
03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) → ZMATH
03-01 Instructional exposition (textbooks, tutorial papers, etc.) → ZMATH
03-02 Research exposition (monographs, survey articles) → ZMATH
03-03 Historical (must also be assigned at least one classification number from Section 01) → ZMATH
03-04 Explicit machine computation and programs (not the theory of computation or programming) → ZMATH
03-06 Proceedings, conferences, collections, etc. → ZMATH
03A05 Philosophical and critical {For philosophy of mathematics, see also 00A30} → ZMATH
03Bxx General logic → ZMATH
03Cxx Model theory → ZMATH
03Dxx Computability and recursion theory → ZMATH
03Exx Set theory → ZMATH
03Fxx Proof theory and constructive mathematics → ZMATH
03Gxx Algebraic logic → ZMATH
03Hxx Nonstandard models [See also 03C62] → ZMATH
Abel prize 2010
I. M. Gelfand 1913-2009

Copyright © 2023 Zentralblatt MATH | European Mathematical Society | FIZ Karlsruhe | Heidelberg Academy of Sciences
Published by Springer-Verlag | Webmaster