Le théorème fondamental de Gentzen
pp. 357-384
Publication details
Published in:
(1951) Revue philosophique de Louvain 49 (23).
Pages: 357-384
Full citation:
Ladrière Jean (1951) „Le théorème fondamental de Gentzen“. Revue philosophique de Louvain 49 (23), 357–384.