Kreitz

Automatisierte Logik

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

Springer Spektrum

ISBN 978-3-662-73410-0

Jetzt vorbestellen! Wir liefern bei Erscheinen (Erscheint vsl. Juli 2026)

Bibliografische Daten

Fachbuch

Buch. Softcover

2026

Format (B x L): 15,5 x 23,5 cm

Verlag: Springer Spektrum

ISBN: 978-3-662-73410-0

Autorinnen und Autoren

Produktsicherheit

Hersteller

Springer Nature Customer Service Center GmbH

Europaplatz 3
69115 Heidelberg, DE

ProductSafety@springernature.com

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte