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

Query : CC = 03-04
03-XX Mathematical logic and foundations

• 03-04 Explicit machine computation and programs (not the theory of computation or programming)

---

Keyword :

---

Back to the Mathematics Subject Classification (version 2000)