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.