Formalisieren und Beweisen: Logik für Informatiker Lehrbuch Informatik Autor Dirk Siefkes 1992 Paperback Preț: 430.22 lei 537.78 lei 6-8 săpt. -20%