Tell your friends about this item:
Formalisieren Und Beweisen: Logik Für Informatiker (Lehrbuch Informatik) (German Edition) German, 2. Aufl. 1992 edition
Dirk Siefkes
Formalisieren Und Beweisen: Logik Für Informatiker (Lehrbuch Informatik) (German Edition) German, 2. Aufl. 1992 edition
Dirk Siefkes
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | 1992 |
ISBN13 | 9783528147570 |
Publishers | Vieweg+Teubner Verlag |
Pages | 259 |
Dimensions | 167 × 15 × 240 mm · 449 g |
Language | German |