APA-Zitierstil (7. Ausg.)

(2008). Deduction, Computation, Experiment: Exploring the Effectiveness of Proof. Springer Italia.

Chicago-Zitierstil (17. Ausg.)

Deduction, Computation, Experiment: Exploring the Effectiveness of Proof. Berlin [u.a.]: Springer Italia, 2008.

MLA-Zitierstil (9. Ausg.)

Deduction, Computation, Experiment: Exploring the Effectiveness of Proof. Springer Italia, 2008.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.