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

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

• 03B30 Foundations of classical theories (including reverse mathematics) [See also 03F35]
• 03F35 Second- and higher-order arithmetic and fragments [See also 03B30]
• 03F60 Constructive and recursive analysis [See also 03B30, 03D45, 26E40, 46S30, 47S30]

---

Mot-clé :

---

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