INTUITIONISTIC LOGIC (MATHEMATICAL LOGIC)
  • BT
    CLASSICAL LOGICAL SYSTEMS (MATHEMATICAL LOGIC)
  • UDC
    510.63,0
  • Descriptor GER
    INTUITIONISTISCHE LOGIK (MATHEMATISCHE LOGIK)
  • Descriptor ENG
    INTUITIONISTIC LOGIC (MATHEMATICAL LOGIC)
  • Descriptor FRE
    LOGIQUE INTUITIONNISTE (LOGIQUE MATHÉMATIQUE)
  • Variant GER
    LOGIK/INTUITIONISTISCHE LOGIK (MATHEMATISCHE LOGIK)
  • Variant ENG
    LOGIC/INTUITIONISTIC LOGIC (MATHEMATICAL LOGIC)
  • Variant FRE
    INTUITIONNISTE/LOGIQUE INTUITIONNISTE (LOGIQUE MATHÉMATIQUE)
  • NT
    NEGATION (MATHEMATICAL LOGIC)
Contact
·
Last data import from Alma: 1 January 2025