APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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