Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
49.00 EUR
49.00 EUR
29-10-2026 14:07:59
Ein einführendes Werk, das die universelle Quantifizierung in der kategorischen Logikprogrammierung neu strukturiert und praxisnahe operationale Modelle für hereditarisch Harrop‑Logiken bietet.