La Classification Mathématique par matières 2000
Mathematics subject Classification 2000

Question : CC = 03C57
03-XX Mathematical logic and foundations

• 03C57 Effective and recursion-theoretic model theory [See also 03D45]
• 03D45 Theory of numerations, effectively presented structures [See also 03C57; for intuitionistic and similar approaches see 03F55]

---

Mot-clé :

---

Retour à la page Classification Mathématique par Matières (version 2000)