Recherches sur la déduction logique = (Untersuchungen über das logische Schliessen) / par Gerhard Gentzen ; traduction et commentaire par Robert Feys et Jean Ladrière.
Idioma: Francés Lenguaje original: Alemán Series Philosophie de la matièreEditor: Paris : Presses Universitaires de France, 1955Descripción: xi, 170 p. ; 19 cmTítulos uniformes: Untersuchungen über das logische Schliessen. Francés Otra clasificación: 03FxxPréface de la traduction VII Note A. — Les méthodes de déduction naturelle [1] Aperçu d’ensemble [3] Section I. — Nomenclature des notations [7] — II. — Le calcul de la déduction naturelle [17] Note B. — Notation explicite des suppositions [29] — C, — Méthodes N de Jaskowski, Bernays et Johans son [35] Section III. — Les calculs déductifs LJ, LK et le théorème fondamental [41] Note D. — Variantes des calculs LK et LJ [77] — E. — Un calcul « MK » analogue au calcul NK [84] — F. — Signification des séquences et des schémas de structure [90] — G. — Les schémas de coupure et de fusion de séquences [93] — H. — Tableau de la démonstration du théorème fondamental [98] I. — Marche de la démonstration du théorème fondamental [101] Section IV. — Quelques applications du théorème fondamental [109] — V. — L’équivalence des nouveaux calculs NJ, NK et LJ, LK avec un calcul adapté au formalisme de Hilbert [129] Note K. — Marche des démonstrations d’équivalence [152]
| Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode | Course reserves |
|---|---|---|---|---|---|---|---|---|
Libros
|
Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 G339 (Browse shelf) | Available | A-696 |
Traducción del trabajo publicado en Math. Z. 39, 176-210, 405-431 (1934).
Bibliografía: p. [165]-167.
Préface de la traduction VII --
Note A. — Les méthodes de déduction naturelle [1] --
Aperçu d’ensemble [3] --
Section I. — Nomenclature des notations [7] --
— II. — Le calcul de la déduction naturelle [17] --
Note B. — Notation explicite des suppositions [29] --
— C, — Méthodes N de Jaskowski, Bernays et Johans son [35] --
Section III. — Les calculs déductifs LJ, LK et le théorème fondamental [41] --
Note D. — Variantes des calculs LK et LJ [77] --
— E. — Un calcul « MK » analogue au calcul NK [84] --
— F. — Signification des séquences et des schémas de structure [90] --
— G. — Les schémas de coupure et de fusion de séquences [93] --
— H. — Tableau de la démonstration du théorème fondamental [98] --
I. — Marche de la démonstration du théorème fondamental [101] --
Section IV. — Quelques applications du théorème fondamental [109] --
— V. — L’équivalence des nouveaux calculs NJ, NK et LJ, LK avec un calcul adapté au formalisme de Hilbert [129] --
Note K. — Marche des démonstrations d’équivalence [152] --
MR, 17,3q
Click on an image to view it in the image viewer
There are no comments on this title.