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