Gentzen, Gerhard.

Recherches sur la déduction logique = (Untersuchungen über das logische Schliessen) / par Gerhard Gentzen ; traduction et commentaire par Robert Feys et Jean Ladrière. - Paris : Presses Universitaires de France, 1955. - 167 p. ; 19 cm. - Philosophie de la matière . - Philosophie de la matière .

Incluye referencias bibliográficas.


Lógica matemática

510.6 162.2