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