Ebook: Formalisieren und Beweisen: Logik für Informatiker
Author: Dirk Siefkes (auth.)
- Tags: Mathematical Logic and Formal Languages, Logic Design, Computer Science general
- Series: Lehrbuch
- Year: 1992
- Publisher: Vieweg+Teubner Verlag
- Edition: 2
- Language: German
- pdf
Download the book Formalisieren und Beweisen: Logik für Informatiker for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)