THEOREMS + NON-THEOREMS (MATHEMATICAL LOGIC)
  • BT
    LOGICAL LANGUAGES (MATHEMATICAL LOGIC)
  • UDC
    510.62,1
  • Descriptor GER
    THEOREME + NICHTTHEOREME (MATHEMATISCHE LOGIK)
  • Descriptor ENG
    THEOREMS + NON-THEOREMS (MATHEMATICAL LOGIC)
  • Descriptor FRE
    THÉORÈMES + NON-THÉORÈMES (LOGIQUE MATHÉMATIQUE)
  • Variant GER
    NICHTTHEOREME (MATHEMATISCHE LOGIK)
  • Variant GER
    NICHT-THEOREME (MATHEMATISCHE LOGIK)
  • Variant ENG
    NON-THEOREMS (MATHEMATICAL LOGIC)
  • Variant FRE
    NON-THÉORÈMES (LOGIQUE MATHÉMATIQUE)
·
Last data import from Alma: 1 January 2025