Logik für die Informatik
Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Springer Berlin Heidelberg
ISBN 978-3-662-70825-5
Standardpreis
Bibliografische Daten
eBook. PDF
2025
XVI, 254 S. 93 Abbildungen.
Umfang: 254 S.
Verlag: Springer Berlin Heidelberg
ISBN: 978-3-662-70825-5
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg, DE
ProductSafety@springernature.com