La Classification Mathématique par matières 2000
Mathematics subject Classification 2000Question : CC = Sentences
03-XX Mathematical logic and foundations
- 03B25 Decidability of theories and sets of sentences [See also 11U05, 12L05, 20F10]
- 03D35 Undecidability and degrees of sets of sentences
Retour à la page Classification Mathématique par Matières (version 2000)