Formalisieren und Beweisen: Logik für Informatiker Lehrbuch Informatik Autor Dirk Siefkes 1992 Paperback Preț: 430.22 lei 537.78 lei 43-57 zile -20%