La Classification Mathématique par matières 2000
Mathematics subject Classification 2000Question : CC = 03F55
03-XX Mathematical logic and foundations
- 03D45 Theory of numerations, effectively presented structures [See also 03C57; for intuitionistic and similar approaches see 03F55]
- 03F55 Intuitionistic mathematics
Retour à la page Classification Mathématique par Matières (version 2000)