THEORY OF TYPES (MATHEMATICAL LOGIC)
  • BT
    HIGHER ORDER PREDICATE LOGIC (MATHEMATICAL LOGIC)
  • UDC
    510.635.32
  • Descriptor GER
    THEORIE DER TYPEN (MATHEMATISCHE LOGIK)
  • Descriptor ENG
    THEORY OF TYPES (MATHEMATICAL LOGIC)
  • Descriptor FRE
    THÉORIE DES TYPES (LOGIQUE MATHÉMATIQUE)
  • Variant GER
    TYPENTHEORIE (MATHEMATISCHE LOGIK)
  • Variant ENG
    TYPE THEORY (MATHEMATICAL LOGIC)
  • Variant FRE
    TYPES/THÉORIE DES TYPES (LOGIQUE MATHÉMATIQUE)
Contact
·
Last data import from Alma: 1 January 2025