Article contents
Gerhard Gentzen. Recherches sur la déduction logique. French translation of 4422 by Jean Ladrière, with added footnotes by the translator. Presses Universitaires de France, Paris1955, XI + 170 pp. - Robert Feys. Préface. Therein, pp. VII–XI. - Robert Feys. Note A. Les méthodes de déduction naturelle. Therein, pp. 1–2. - Robert Feys. Note B. Notation explicite des suppositions. Therein, pp. 29–34. - Robert Feys. Note C. Méthodes N de Jaśkowski, Bernays et Johannson. Therein pp. 35–39. - Robert Feys. Note D. Variantes des calculs LK et LJ. Therein, pp. 77–83. - Jean Ladrière. Note E. Un calcul “MK” analogue au calcul NK. Therein, pp. 84–89. - Robert Feys. Note F. Signification des séquences et des schémas de structure. Therein, pp. 90–92. - Jean Ladriére. Note G. Les schémas de coupure et de fusion de séquences. Therein, pp. 93–97. - Jean Ladriére. Note H. Tableau de la démonstration du théorème fondamental. Therein, pp. 98–100. - Jean Ladriére. Note I. Marche de la démonstration du théorème fondamental. Therein, pp. 101–107. - Robert Feys. Note K. Marche des démonstrations d'équivalence. Therein, pp. 152–164.
Published online by Cambridge University Press: 12 March 2014
Abstract

- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1957
- 1
- Cited by