MSCMSC
- [+]00-XXGeneral
- [-]01XXXHistory and Foundations
- [+]06XXXAlgebra
- [+]26XXXAnalysis
- [+]5XXXXGeometry and Topology
- [+]60XXXProbability and Statistics
- [+]65-XXNumerical analysis
- [+]68-XXComputer science
- [+]7XXXXApplications
- [+]97-XXMathematics education
- 03-XXAllgemeines und Nachschlagewerke
- 03-00General reference works (handbooks, dictionaries, bibliographies, etc.)
- 03-01Instructional exposition (textbooks, tutorial papers, etc.)
- 03-02Research exposition (monographs, survey articles)
- 03-03Historical
- 03-04Explicit machine computation and programs
- 03-06Proceedings, conferences, collections, etc.
- 03A05Philosophical and critical
- [+]03BXXGeneral logic
- [+]03CXXModel theory
- [+]03DXXComputability and recursion theory
- [+]03EXXSet theory
- [-]03FXXProof theory and constructive mathematics
- [+]03GXXAlgebraic logic
- [+]03HXXNonstandard models
- 03FXXAllgemeines und Nachschlagewerke
- 03F03Proof theory, general
- 03F05Cut-elimination and normal-form theorems
- 03F07Structure of proofs
- 03F10Functionals in proof theory
- 03F15Recursive ordinals and ordinal notations
- 03F20Complexity of proofs
- 03F25Relative consistency and interpretations
- 03F30First-order arithmetic and fragments
- 03F35Second- and higher-order arithmetic and fragments
- 03F40Gödel numberings in proof theory
- 03F45Provability logics and related algebras (e.g., diagonalizable algebras)
- 03F50Metamathematics of constructive systems
- 03F52Linear logic and other substructural logics
- 03F55Intuitionistic mathematics
- 03F60Constructive and recursive analysis
- 03F65Other constructive mathematics
- 03F99None of the above, but in this section
Ihr Browser scheint kein JavaScript zu unterstützen. Ohne JavaScript kann es bei Anfragen mit vielen Ergebnissen eine Minute dauern, bis alle Ergebnisse verfügbar sind. Wir empfehlen daher, für die Suchfunktion JavaScript zu aktivieren.
Es gab keine Suchergebnisse für Ihre Anfrage.