SECOND ORDER LOGIC (MATHEMATICAL LOGIC)
  • BT
    CLASSICAL LOGICAL SYSTEMS (MATHEMATICAL LOGIC)
  • UDC
    510.636
  • Descriptor GER
    LOGIK ZWEITER STUFE (MATHEMATISCHE LOGIK)
  • Descriptor ENG
    SECOND ORDER LOGIC (MATHEMATICAL LOGIC)
  • Descriptor FRE
    LOGIQUE DE SECOND DEGRÉ (LOGIQUE MATHÉMATIQUE)
  • Variant ENG
    LOGIC/SECOND ORDER LOGIC (MATHEMATICAL LOGIC)
·
Last data import from Alma: 1 January 2025