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)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2963911
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,395
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

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.

Analytics

Added to PP index
2016-06-30

Total views
25 ( #378,869 of 2,291,328 )

Recent downloads (6 months)
2 ( #576,757 of 2,291,328 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature