Búsqueda por clasificación

• 001 Exact sciences and technology.
  • 001A Sciences and techniques of general use.
    • 001A02 Mathematics. (Ver también 002A35A07, 002A32A02)
      • 001A02A Mathematical logic, foundations, set theory.
        • 001A02A01 Logic and foundations.
          • 001A02A01F Proof theory and constructive mathematics.

Título

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

Notación SKOS

001A02A01F

En el plan

Pascal Classification Scheme