Un nouveau calcul de déduction naturelle dû à F. B. Fitch

1955

Jean-Blaise Grize

Revue philosophique de Louvain 53 (39)