Le théorème fondamental de Gentzen
pp. 357-384
Détails de la publication
Publié dans:
(1951) Revue philosophique de Louvain 49 (23).
Pages: 357-384
Citation complète:
Ladrière Jean, 1951, Le théorème fondamental de Gentzen. Revue philosophique de Louvain 49 (23), 357-384.