Full citation:
Ladrière, J. (1951). Le théorème fondamental de Gentzen. Revue philosophique de Louvain 49 (23), pp. 357-384.
This document is available at an external location. Please follow the link below. Hold the CTRL button to open the link in a new window.