Note Complémentaire sur les Méthodes de Déduction Naturelle

Journal of Symbolic Logic 13 (2):114-114 (1948)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267334

Other Versions

original Feys, Robert (1947) "Note complémentaire sur les méthodes de déduction naturelle". Revue Philosophique De Louvain 45(5):60-72

Links

PhilArchive



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

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

Note complémentaire sur les méthodes de déduction naturelle.Robert Feys - 1947 - Revue Philosophique De Louvain 45 (5):60-72.
Reviews. R. Feys. Note complémentaire sur les méthodes de déduction naturelle. Revue philosophique de Louvain, Bd. 45 , S. 60–72. [REVIEW]G. Hasenjaeger - 1948 - Journal of Symbolic Logic 13 (2):114-114.
Feys R.. Les méthodes récentes de déduction naturelle. Revue philosophique de Louvain, vol. 44 , pp. 370–400.Oiva Ketonen - 1947 - Journal of Symbolic Logic 12 (3):95-95.
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. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
Johansson Ingebrigt. Sur le concept de “le” dans le calcul affirmatif et dans les calculs intuitionnistes. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 65–72.Feys R., Johansson Ingebrigt. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, p. 72. [REVIEW]Theodore Hailperin - 1958 - Journal of Symbolic Logic 23 (3):346-346.
Les méthodes récentes de déduction naturelle.Robert Feys - 1946 - Revue Philosophique De Louvain 44 (3):370-400.
Feys Robert. Fondements et méthodes des mathématiques. Notes sur la réunion d'études de Zurich. Revue néoscolastique de philosophie, vol. 42 , pp. 78–88. [REVIEW]Susanne K. Langer - 1939 - Journal of Symbolic Logic 4 (2):102-102.
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.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,758,992)

6 months
4 (#1,288,968)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references