Recherches sur la Déduction Logique
Journal of Symbolic Logic 22 (4):350-351 (1957)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2963911
My notes
Similar books and articles
Review: Gerhard Gentzen, Robert Feys, Recherches sur la Deduction Logique. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
Recherches Sur la Déduction Logique = Untersuchungen Über Das Logische Schliessen.Gerhard Gentzen, Robert Feys & J. Landrière - 1955 - Presses Universitaires de France.
Gentzen , Recherches sur la déduction logique. [REVIEW]R. Blanché - 1957 - Revue Philosophique de la France Et de l'Etranger 147:249.
P. Hoenen. Recherches de logique formelle. La structure du système des syllogismes et des sorites - la logique des notions “au moins” et “tout au plus.” Analecta Gregoriana, vol. 43. Aedes Universitatis Gregorianae, Rome1947, vii + 384 pp. [REVIEW]Robert Feys - 1954 - Journal of Symbolic Logic 19 (4):302-303.
Questions de logique juridique dans l'histoire de la philosophie du Droit (1).Recherches de Logique - 1967 - Logique Et Analyse 37:3.
Les Activités du Centre National de Recherches de Logique en 1972.H. Pospesel - 1972 - Logique Et Analyse 15 (59):(1972:sept./déc.).
Les Activités du Centre de Recherches de Logique en 1960.P. Gochet - 1961 - Logique Et Analyse 4 (15):(1961:oct.).
Les activités du Centre National de Recherches de Logique en 1963.Jules Vuillemin - 1964 - Logique Et Analyse 7 (25):(1964:avril).
Activités du Centre de recherches de Logique en 1957.Alan Ross Anderson - 1958 - Logique Et Analyse:92.
Les Activités du Centre National de Recherches de Logique en 1964.Gilles Granger - 1965 - Logique Et Analyse 8 (29):(1965:avril).
Les activités du Centre National de Recherches de Logique en 1967.James E. Tomberlin - 1968 - Logique Et Analyse 11 (44):(1968:déc.).
Les activités du Centre National de Recherches de Logique en 1969.Jerzy WrÓblewski - 1970 - Logique Et Analyse 13 (51):(1970:sept.).
Les activités du Centre National de Recherches de Logique en 1965.Fernand Vandamme - 1966 - Logique Et Analyse 9 (35):(1966:déc.).
Les activités du Centre National de Recherches de Logique en 1968.Paul Gochet - 1969 - Logique Et Analyse 12 (46):(1969:juin).
Les activités du Centre National de Recherches de Logique en 1971.David H. Sanford - 1970 - Logique Et Analyse 13 (52):(1970:déc.).
Analytics
Added to PP
2015-02-05
Downloads
9 (#937,492)
6 months
1 (#450,993)
2015-02-05
Downloads
9 (#937,492)
6 months
1 (#450,993)
Historical graph of downloads
Citations of this work
A System for Strict Implication.Masao Ohnishi & Kazuo Matsumoto - 1964 - Annals of the Japan Association for Philosophy of Science 2 (4):183-188.
Jean van Heijenoort’s Contributions to Proof Theory and Its History.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):411-458.
Some properties of the -calculus.Karim Nour & Khelifa Saber - 2012 - Journal of Applied Non-Classical Logics 22 (3):231-247.
