La Classification Mathématique par matières 2000
Mathematics subject Classification 2000Query : CC = Recursion
03-XX Mathematical logic and foundations
- 03C57 Effective and recursion-theoretic model theory [See also 03D45]
- 03Dxx Computability and recursion theory
- 03D60 Computability and recursion theory on ordinals, admissible sets, etc.
- 03D65 Higher-type and set recursion theory
- 03D75 Abstract and axiomatic computability and recursion theory
- 03D80 Applications of computability and recursion theory
Back to the Mathematics Subject Classification (version 2000)