Recherches sur la Déduction Logique

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963911

Links

PhilArchive



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

External links

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

Through your library

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.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
13 (#1,010,467)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Extendible sentential calculus.H. Hiz - 1959 - Journal of Symbolic Logic 24 (3):193-202.
A System for Strict Implication.Masao Ohnishi & Kazuo Matsumoto - 1964 - Annals of the Japan Association for Philosophy of Science 2 (4):183-188.
Gödel’s Natural Deduction.Kosta Došen & Miloš Adžić - 2018 - Studia Logica 106 (2):397-415.
Some properties of the -calculus.Karim Nour & Khelifa Saber - 2012 - Journal of Applied Non-Classical Logics 22 (3):231-247.

Add more citations

References found in this work

No references found.

Add more references