FORCING (MATHEMATICAL LOGIC)
  • BT
    DECISION PROBLEMS AND INFERENCE SEARCH (MATHEMATICAL LOGIC)
  • UDC
    510.66*6
  • Descriptor GER
    FORCING (MATHEMATISCHE LOGIK)
  • Descriptor ENG
    FORCING (MATHEMATICAL LOGIC)
  • Descriptor FRE
    FORCING (LOGIQUE MATHÉMATIQUE)
  • Variant GER
    FORCINGMETHODE (MATHEMATISCHE LOGIK)
  • Variant ENG
    FORCING METHOD (MATHEMATICAL LOGIC)
  • Variant FRE
    MÉTHODE FORCÉE (LOGIQUE MATHÉMATIQUE)
Contact
·
Last data import from Alma: 1 January 2025