Formalisieren und Beweisen
Subtitle: Logik für Informatiker
By: Dirk Siefkes.
Publisher: Vieweg
Published: 1990
Place of publication: Braunschweig
Language: ger
Number of pages: 259
Subjects: Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 245-252) and index.