Gentzen Gerhard. Recherches sur la déduction logique. French translation of 4422 by Ladrière Jean, with added footnotes by the translator. Presses Universitaires de France, Paris 1955, XI + 170 pp.Feys Robert. Préface. Therein, pp. VII–XI.Feys Robert. Note A. Les méthodes de déduction naturelle. Therein, pp. 1–2.Feys Robert. Note B. Notation explicite des suppositions. Therein, pp. 29–34.Feys Robert. Note C. Méthodes N de Jaśkowski, Bernays et Johannson. Therein pp. 35–39.Feys Robert. Note D. Variantes des calculs LK et LJ. Therein, pp. 77–83.Ladrière Jean. Note E. Un calcul “MK” analogue au calcul NK. Therein, pp. 84–89.Feys Robert. Note F. Signification des séquences et des schémas de structure. Therein, pp. 90–92.Ladriére Jean. Note G. Les schémas de coupure et de fusion de séquences. Therein, pp. 93–97.Ladriére Jean. Note H. Tableau de la démonstration du théorème fondamental. Therein, pp. 98–100.Ladriére Jean. Note I. Marche de la démonstration du théorème fondamental. Therein, pp [Book Review]

Journal of Symbolic Logic 22 (4):350-351 (1957)
  Copy   BIBTEX


This article has no associated abstract. (fix it)



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Note complémentaire sur les méthodes de déduction naturelle.Robert Feys - 1947 - Revue Philosophique De Louvain 45 (5):60-72.
A Note on the Logic of Obligation.A. N. Prior - 1956 - Revue Philosophique De Louvain 54 (41):86-89.
Note Introductoire.Jean Ladrière - 1993 - Philosophica 52.
Recherches sur la Déduction Logique.Gerhard Gentzen & Robert Feys - 1957 - Journal of Symbolic Logic 22 (4):350-351.
Les méthodes récentes de déduction naturelle.Robert Feys - 1946 - Revue Philosophique De Louvain 44 (3):370-400.
Le Théorème fondamental de Gentzen.Jean Ladrière - 1951 - Revue Philosophique De Louvain 49 (23):357-384.
A note on the construction of norms.Jean Ladrière - 2003 - Poznan Studies in the Philosophy of the Sciences and the Humanities 81 (1):295-300.


Added to PP

36 (#429,312)

6 months
3 (#1,002,198)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references