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

More Information

Format: Paperback
Pages: 280
Edition: 2. Aufl. 1992
Publisher: Vieweg+Teubner Verlag
Published: 15 Apr 2013
ISBN 10: 3528147571
ISBN 13: 9783528147570