Un nouveau calcul de déduction naturelle dû à F. B. Fitch
pp. 328-367
Détails de la publication
Publié dans:
(1955) Revue philosophique de Louvain 53 (39).
Pages: 328-367
Citation complète:
Grize Jean-Blaise, 1955, Un nouveau calcul de déduction naturelle dû à F. B. Fitch. Revue philosophique de Louvain 53 (39), 328-367.