Search by classification

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

Title

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

SKOS Notation

001A02A01F

In the plan

Pascal Classification Scheme