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)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,346

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

Gentzen , Recherches sur la déduction logique. [REVIEW]R. Blanché - 1957 - Revue Philosophique de la France Et de l'Etranger 147:249.
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.).

Analytics

Added to PP
2015-02-05

Downloads
9 (#937,492)

6 months
1 (#450,993)

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