Display2
Recherches sur la déduction logique
Gentzen, Gerhard (1909-1945) Auteur du texte
Ladrière, Jean (1921-2007) Traducteur
Feys, Robert Traducteur
Édition :
Collection :
Année :
1955
XII-171 p. : In-16