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

More Information

Format: Illustrated
Pages: 280
Edition: 1990
Publisher: Vieweg+Teubner Verlag
Published: 01 Jan 1990
ISBN 10: 3528047577
ISBN 13: 9783528047573