2010 Construction : Festschrift for Gerhard Heinzmann. Rigor, Re-proof and Bolzano’s Critical Program. p. 171-184. Auteur : Detlefsen Michael