Kreitz, Christoph. Automatisierte Logik - Eine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie. Springer-Verlag GmbH, 2026.

Christoph Kreitz

Automatisierte Logik

Eine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie

Springer-Verlag GmbH
2026

Taschenbuch
270 Seiten
ISBN 9783662734100

32,99 €

inkl. MwSt.
zzgl. Versand

Am 27.07.2026