APA (7th ed.) Citation

Hofbauer, D., & Kutsche, R. (1989). Grundlagen des maschinellen Beweises: Eine Einführung für Informatiker und Mathematiker. Vieweg.

Chicago Style (17th ed.) Citation

Hofbauer, Dieter, and Ralf-Detlef Kutsche. Grundlagen Des Maschinellen Beweises: Eine Einführung Für Informatiker Und Mathematiker. Braunschweig [u.a.]: Vieweg, 1989.

MLA (9th ed.) Citation

Hofbauer, Dieter, and Ralf-Detlef Kutsche. Grundlagen Des Maschinellen Beweises: Eine Einführung Für Informatiker Und Mathematiker. Vieweg, 1989.