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
- 03D03Thue and Post systems, etc.
- 03D05Automata and formal grammars in connection with logical questions
- 03D10Turing machines and related notions
- 03D15Complexity of computation
- 03D20Recursive functions and relations, subrecursive hierarchies
- 03D25Recursively (computably) enumerable sets and degrees
- 03D28Other Turing degree structures
- 03D30Other degrees and reducibilities
- 03D35Undecidability and degrees of sets of sentences
- 03D40Word problems, etc.
- 03D45Theory of numerations, effectively presented structures
- 03D50Recursive equivalence types of sets and structures, isols
- 03D55Hierarchies
- 03D60Computability and recursion theory on ordinals, admissible sets, etc.
- 03D65Higher-type and set recursion theory
- 03D70Inductive definability
- 03D75Abstract and axiomatic computability and recursion theory
- 03D80Applications of computability and recursion theory
- 03D99None 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.