Recherche par classification

• 001 Sciences exactes et technologie.
  • 001A Sciences et techniques communes.
    • 001A02 Mathématiques. (voir aussi 002A35A07, 002A32A02)
      • 001A02A Logique mathématique, fondements, théorie des ensembles.
        • 001A02A01 Logique et fondements.
          • 001A02A01F Théorie de la preuve et mathématiques constructives.

Intitulés

• en : Proof theory and constructive mathematics.
• fr : Théorie de la preuve et mathématiques constructives.

Notation SKOS

001A02A01F

Dans le plan

Plan de Classement Pascal