Siefkes, Dirk (1990): Formalisieren und Beweisen - Logik für Informatiker
Title:
Formalisieren und Beweisen - Logik für Informatiker
Author(s):
Siefkes, Dirk
Year:
1990
Publisher:
Vieweg
Address:
Braunschweig
Concepts
