ISBN 3528147571 books & textbook

Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)

Vieweg+Teubner Verlag /1992-01-01 Paperback / 280 Pages
isbn-10: 3528147571 / isbn-13: 9783528147570