Formalisieren und Beweisen
Subtitle: Logik für Informatiker
Publisher: Vieweg+Teubner Verlag
Published: Jan 01, 1992
Format: paperback
Number of pages: 259
ISBN-13: 9783528147570
Notes: Source title: Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)