TABLEAUX (MATHEMATICAL LOGIC)
  • BT
    COMPLETION (MATHEMATICAL LOGIC)
  • UDC
    510.662,41
  • Descriptor GER
    TABLEAUS (MATHEMATISCHE LOGIK)
  • Descriptor ENG
    TABLEAUX (MATHEMATICAL LOGIC)
  • Descriptor FRE
    TABLEAUX (LOGIQUE MATHÉMATIQUE)
·
Last data import from Alma: 1 January 2025