Hofbauer, D., & Kutsche, R. (1989). Grundlagen des maschinellen Beweises: Eine Einführung für Informatiker und Mathematiker. Vieweg.
Chicago-Zitierstil (17. Ausg.)Hofbauer, Dieter, und Ralf-Detlef Kutsche. Grundlagen Des Maschinellen Beweises: Eine Einführung Für Informatiker Und Mathematiker. Braunschweig [u.a.]: Vieweg, 1989.
MLA-Zitierstil (9. Ausg.)Hofbauer, Dieter, und Ralf-Detlef Kutsche. Grundlagen Des Maschinellen Beweises: Eine Einführung Für Informatiker Und Mathematiker. Vieweg, 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.