Logik für die Informatik
Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Junker, Markus
- 出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
- 出版年月：2025年 09月
- ISBN：9783662708248
- 装丁：PAP
-
装丁について
- 版次：2025. xvi