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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963911

Other Versions

edition van Heijenoort, John (1957) "Review: Gerhard Gentzen, Robert Feys, Recherches sur la Deduction Logique". Journal of Symbolic Logic 22(4):350-351

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,173

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

Ladrière Jean. Le rôle du théoréme de Gödel dans le développement de la théorie de la démonstration. Revue philosophique de Louvain, vol. 47 , pp. 469–492.Ladrière Jean. Rationnel et irrationnel en mathématique. Revue philosophique de Louvain, vol. 48 , pp. 37–62.Ladrière Jean. Le théorème fondamental de Gentzen. Revue philosophique de Louvain, vol. 49 , pp. 357–384. [REVIEW]F. H. Fischer - 1954 - Journal of Symbolic Logic 19 (2):129-130.
Ladrière Jean. Les limitations internes des formalismes. Étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques. Collection de logique mathématique, B II. E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1957, XV + 715 pp. [REVIEW]Donald Monk - 1960 - Journal of Symbolic Logic 25 (3):270-270.
Recherches sur la déduction logique: Trad. et comm. par Robert Feys et Jean Ladrière.Gerhard Gentzen, Robert Feys & J. Landrière - 1955 - Presses Universitaires de France.
Zawirski Zygmunt. Uwagi o metodzie nauk przyrodniczych. Przeglad filozoficzny, vol. 44 , pp. 315–318.Cavaillès Jean. Sur la logique et la théorie de la science. Presses Universitaires de France, Paris 1947, VIII + 78 pp.Canguilhem G. and Ehresmann Ch.. Avertissement des éditeurs. Therein, pp. V–VIII. [REVIEW]Max Black - 1950 - Journal of Symbolic Logic 14 (4):248-249.
Robert Feys. Modal logics. Edited with some complements by Joseph Dopp. Collection de logique mathématique, Série B no. 4. E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1965, XIV + 219 pp. - J. Dopp. Editor's foreword. Therein, pp. V–VIII. [REVIEW]Gerald J. Massey - 1969 - Journal of Symbolic Logic 34 (3):501-502.
Beth E. W.. I fondamenti logici della matematica. Italian translation by Casari Ettore of XXV 269. Feltrinelli Editore, Milan 1963, XIII + 335 pp.Casari Ettore. Prefazione del traduttore. Therein, pp. VII–XIII.Beth E. W.. Osservazioni sulla deduzione naturale. Italian translation by Casari Ettore of XXII 360. Therein, pp. 255–259.Beth E. W.. Considerazioni euristiche sui metodi di deduzione per sequenze. Italian translation by Ettore Casari of Considérations heuristiques sur les méthodes de déduction par séquences. Therein, pp. 260–267.Beth E. W.. Osservazioni a proposito del ragionamento indiretto. Italian translation by Ettore Casari of Observations au sujet du raisonnement indirect. Therein, pp. 268–276.Beth E. W.. Risultati di completezza per sistemi formali. Italian translation by Casari Ettore of XXVII 110. Therein, pp. 277–285.Casari Ettore. I calcoli N e L di Gentzen. Therein, pp. 287–294. [REVIEW]Giorgio Sandri - 1971 - Journal of Symbolic Logic 36 (2):325.
Feys Robert. Nature et possibilités de la logique formalisée. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & C1e, Paris, 1951, pp. 69–80.Feys Robert. La formalisation comme suggestion rigoureuse. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques intemationaux du Centre National de la Recherche Scientifique no. 36, Paris, 1953, pp. 53–58. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (1):66-66.
Peano Giuseppe. Formulario mathematico. Riproduzione in fac-simile dell'edizione originale. Edizioni Cremonese, Rome 1960, XLVIII + XXXVI + 482 pp.Cassina Ugo. Prefazione. Therein, pp. III–IV.Cassina Ugo. Introduzione. Therein, pp. V–XXXIII.Cassina Ugo. Note. Therein, pp. XXXV–XLVIII. [REVIEW]Alonzo Church - 1962 - Journal of Symbolic Logic 27 (4):471-471.
A. N. Prior. A note on the logic of obligation. Revue philosophique de Louvain, vol. 54 , pp. 86–87. - Robert Feys. Reply . A note on modal systems, von Wright's M and Lewis's SI. Memoirs of the Osaka University of the Liberal Arts and Education, B. Natural science, no. 4 , pp. 88–89. [REVIEW]Alan Ross Anderson - 1956 - Journal of Symbolic Logic 21 (4):379-379.
Jean-François Pabion. Logique mathématique. Collection méthodes. Hermann, Paris1976, xxxii + 263 pp. - Marcel Guillaume. Préface. Therein, pp. xiii–xxxii. [REVIEW]M. Boffa - 1979 - Journal of Symbolic Logic 44 (2):282-283.

Analytics

Added to PP
2016-06-30

Downloads
40 (#559,342)

6 months
2 (#1,686,184)

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