LAMBEKKALKÜL (MATHEMATISCHE LOGIK)
  • BT
    ALGORITHMEN UND BERECHENBARE FUNKTIONEN (MATHEMATIK)
  • UDC
    510.5*4
  • Descriptor GER
    LAMBEKKALKÜL (MATHEMATISCHE LOGIK)
  • Descriptor ENG
    LAMBEK CALCULUS (MATHEMATICAL LOGIC)
  • Descriptor FRE
    CALCUL DE LAMBEK (LOGIQUE MATHÉMATIQUE)
  • Variant GER
    KALKÜL/LAMBEKKALKÜL (MATHEMATISCHE LOGIK)
  • Variant GER
    LAMBEK-KALKÜL (MATHEMATISCHE LOGIK)
  • Variant ENG
    CALCULUS/LAMBEK CALCULUS (MATHEMATICAL LOGIC)
  • Variant FRE
    LAMBEK/CALCUL DE LAMBEK (LOGIQUE MATHÉMATIQUE)
Contact
·
Last data import from Alma: 1 January 2025