La Classification Mathématique par matières 2000
Mathematics subject Classification 2000Question : CC = 03B20
03-XX Mathematical logic and foundations
- 03B20 Subsystems of classical logic (including intuitionistic logic)
Retour à la page Classification Mathématique par Matières (version 2000)