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.
          • 001A02A01A Aspects philosophiques et critiques.
          • 001A02A01B Logique générale.
          • 001A02A01C Théorie des modèles.
          • 001A02A01D Récursivité.
          • 001A02A01E Ensembles.
          • 001A02A01F Théorie de la preuve et mathématiques constructives.
          • 001A02A01G Logique algébrique.
          • 001A02A01H Modèles non standards.

Intitulés

• en : Logic and foundations.
• fr : Logique et fondements.

Notation SKOS

001A02A01

Dans le plan

Plan de Classement Pascal