Daniel Lacombe. La théorie des fonctions récursives et ses applications. Bulletin de la Société Mathématique de France, vol. 88 , pp. 393–468 [Book Review]

Journal of Symbolic Logic 38 (3):526 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273072

Links

PhilArchive



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

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: Daniel Lacombe, La Theorie des Fonctions Recursives et ses Applications. [REVIEW]C. E. M. Yates - 1973 - Journal of Symbolic Logic 38 (3):526-526.
Review: Daniel Lacombe, Extension de la Notion de Fonction Recursive aux Fonctions d'une ou Plusieurs Variables Reelles; Daniel Lacombe, Remarques sur les Operateurs Recursifs et sur les Fonctions Recursives. [REVIEW]A. Nerode - 1959 - Journal of Symbolic Logic 24 (1):53-53.
Daniel Lacombe. Extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 240 , pp. 2478–2480, and vol. 241 , pp. 13–14, 151–153. - Daniel Lacombe. Remarques sur les opérateurs récursifs et surles fonctions récursives d'une variable réelle. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 241 , pp. 1250–1252. [REVIEW]A. Nerode - 1959 - Journal of Symbolic Logic 24 (1):53-53.
Martin R.. Logique mathématique. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 52–53.Sabbagh G.. Logique mathématique. 1. Généralités. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 53–56.Reznikoff I.. Logique mathématique. 2. Théorie lie la démonstration et intuitionnisme. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 57–64.Sabbagh G.. Logique mathématique. 3. Théorie des modèles. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 65–66.Sabbagh G.. Logique mathématique. 4. Théorie axiomatique des ensembles. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 66–71.Sabbagh G.. Logique mathématique. 5. Décidabilité et fonctions récursives. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 71–73. [REVIEW]J. van Heijenoort - 1973 - Journal of Symbolic Logic 38 (2):341-341.
René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome I. Calcul propositionnel, algèbres de Boole, calcul des prédicats. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 385 p. - René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 347 p. [REVIEW]Luc Bélair - 1995 - Journal of Symbolic Logic 60 (2):691-692.
Reviews. Andrzej Grzegorczyk. Fonctions récursives. Collection de logique mathématique, série A, Nr. 17. Gauthier-Villars, Paris, und E. Nauwelaerts, Louvain, 1961, 100 S. [REVIEW]Rózsa Péter - 1966 - Journal of Symbolic Logic 31 (3):481-483.
McAloon K.. Introduction. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, pp. 1–2.Kirby L. A. S.. La méthode des indicatrices et le théorème d'incomplétude. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, pp. 5–18.Lascar Daniel. Une indicatrice de type “Ramsey” pour l'arithmétique de Peano et la formule de Paris-Harrington. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, 19–30.McAloon Kenneth. Les rapports entre la méthode des indicatrices et la méthode de Gödel pour obtenir des résultats d'indépendance. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, pp. 31–39.McAloon Kenneth. Progressions transfinies de théories axiomatiques, formes combinatoires. [REVIEW]J. B. Paris - 1983 - Journal of Symbolic Logic 48 (2):483-484.
Review: Georg Kreisel, Daniel Lacombe, Joseph R. Shoenfield, Fonctionnelles Recursivement Definissables et Fonctionnelles Recursives. [REVIEW]Martin Davis - 1958 - Journal of Symbolic Logic 23 (1):48-48.
Riguet J.. Quelques applications de la théorie des relations binaires. Applications scientifiques de la logique mathématique, Acte du 2e Colloque International de Logique Mathématique, Paris — 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, série A, Gauthier-Villars, Paris 1954, et E. Nauwelaerts, Louvain 1954, p. 141–144. [REVIEW]Roland Fraïssé - 1957 - Journal of Symbolic Logic 22 (3):300-300.
Classes Récursivement Fermees et Fonctions Majorantes.Daniel Lacombe - 1959 - Journal of Symbolic Logic 24 (1):52-53.
La France mathematique: La Societe Mathematique de France by Helene Gispert; R. Bkouche; C. Gilain; C. Houzel; J.-P. Kahane; M. Zerner. [REVIEW]Thomas Archibald - 1993 - Isis 84:807-808.
Mesure-t-on les fonctions intellectuelles ?Roger Lacombe - 1927 - Revue Philosophique de la France Et de l'Etranger 104:407 - 446.
Moisil Gr. C.. Sur la théorie classique de la modalité des jugements. Bulletin mathématique de la Société Roumaine des Sciences, vol. 40 , pp. 235–240. [REVIEW]Charles A. Baylis - 1939 - Journal of Symbolic Logic 4 (4):167-168.
Kreisel Georg, Lacombe Daniel, and Shoenfield Joseph R.. Fonctionnelles récursivement définissables et fonctionnelles récursives. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 245 , pp. 399–402. [REVIEW]Martin Davis - 1958 - Journal of Symbolic Logic 23 (1):48-48.
Sept Lois fondamentales de la théorie des égalités logiques, Bulletin de la Société physico-mathématique de Kasan.Platon Poretsky - 1899 - Revue de Métaphysique et de Morale 7 (6):4-4.

Analytics

Added to PP
2016-06-30

Downloads
20 (#766,692)

6 months
4 (#787,709)

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