This document is unfortunately not available for download at the moment.
Gerhard Heinzmann, Manuel Rebuschi (2005) Philosophia Scientiae 9 (2).
De Kant à Gentzen, en passant par Brouwer, Hilbert et Frege
Pierre Cassou-Noguès
pp. 205-223
Not implemented yet !