48,00 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in über 4 Wochen
  • Broschiertes Buch

Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren

Produktbeschreibung
Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren