Recherches sur la déduction logique. French translation of 4422 by Jean Ladrière, with added footnotes by the translator

Name: Recherches sur la déduction logique. French translation of 4422 by Jean Ladrière, with added footnotes by the translator
Author: Gerhard Gentzen

by Gerhard Gentzen · 1 review · 1957

Reviewed by	Journal	Date	Access
John van Heijenoort	The Journal of Symbolic Logic	1957	Restricted

Metaphysics & Logic

Search PhilReviews for this title