HIGHER ORDER PREDICATE LOGIC (MATHEMATICAL LOGIC)
  • BT
    PREDICATE LOGIC (MATHEMATICAL LOGIC)
  • UDC
    510.635.3
  • Descriptor GER
    PRÄDIKATENLOGIK HÖHERER ORDNUNG (MATHEMATISCHE LOGIK)
  • Descriptor ENG
    HIGHER ORDER PREDICATE LOGIC (MATHEMATICAL LOGIC)
  • Descriptor FRE
    LOGIQUE DES PRÉDICATS D'ORDRE SUPÉRIEUR (LOGIQUE MATHÉMATIQUE)
  • Variant GER
    LOGIK/PRÄDIKATENLOGIK HÖHERER ORDNUNG (MATHEMATISCHE LOGIK)
  • Variant GER
    PRÄDIKATENKALKÜL HÖHERER ORDNUNG (MATHEMATISCHE LOGIK)
  • Variant GER
    KALKÜL/PRÄDIKATENKALKÜL HÖHERER ORDNUNG (MATHEMATISCHE LOGIK)
  • Variant ENG
    PREDICATE LOGIC/HIGHER ORDER PREDICATE LOGIC (MATHEMATICAL LOGIC)
  • Variant ENG
    HIGHER ORDER PREDICATE CALCULUS (MATHEMATICAL LOGIC)
  • Variant ENG
    CALCULUS/HIGHER ORDER PREDICATE CALCULUS (MATHEMATICAL LOGIC)
  • Variant FRE
    CALCUL DES PRÉDICATS D'ORDRE SUPÉRIEUR (LOGIQUE MATHÉMATIQUE)
  • Variant FRE
    PRÉDICATS/CALCUL DES PRÉDICATS D'ORDRE SUPÉRIEUR (LOGIQUE MATHÉMATIQUE)
  • Variant FRE
    PRÉDICATS/LOGIQUE DES PRÉDICATS D'ORDRE SUPÉRIEUR (LOGIQUE MATHÉMATIQUE)
  • NT
    THEORY OF TYPES (MATHEMATICAL LOGIC)
Contact
·
Last data import from Alma: 1 January 2025