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

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

• 03F40 Gödel numberings in proof theory

---

Mot-clé :

---

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