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 [Book Review]

Journal of Symbolic Logic 24 (1):53-53 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200125149

Links

PhilArchive



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

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, 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.
Lacombe Daniel. Classes récursivement fermées et fonctions majorantes. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 240 , pp. 716–718. [REVIEW]A. Nerode - 1959 - Journal of Symbolic Logic 24 (1):52-53.
Lacombe Daniel. Les ensembles récursivement ouverts ou fermés, et leurs applications à l'analyse récursive. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 245 , pp. 1040–1043. [REVIEW]A. Nerode - 1959 - Journal of Symbolic Logic 24 (1):53-53.
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.
Lacombe Daniel. Sur le semi-réseau constitué par les degrés d'indécidabilité récursive. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 239 , pp. 1108–1109. [REVIEW]Hartley Rogers - 1958 - Journal of Symbolic Logic 23 (2):226-226.
Léon Le Blanc. Dualité pour les égalités booléennes. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 250 , pp. 3552–3553. - Léon Le Blanc. Les algèbres de transformation. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 250 , pp. 3928–3930. - See XXIX 53 and the review above. [REVIEW]Donald Monk - 1964 - Journal of Symbolic Logic 29 (4):207-207.
Ponasse Daniel. Structure prébooléienne. Ensemble prébooléien universel associé à un ensemble quelconque. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 248 , pp. 899–902.Ponasse Daniel. Anneau booléien universel associé à un ensemble quelconque. Applications au calcul propositionnel. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 248 , pp. 1093–1096. [REVIEW]G. Fuhrken - 1965 - Journal of Symbolic Logic 30 (3):378-378.
de Bengy-Puyvallée R.. La notion de composabilité en logique. Synthese , vol. 7 , pp. 201–205.Bengy-Puyvallée Renaud de. Sur les règles de composabilité dans la logique de la mathématique intuitioniste sans négation. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 226 , pp. 454–456.de Bengy-Puyvallée Renaud. Sur la relation de composabilité dans les logiques de complémentarité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 228 , pp. 624–626.de Bengy-Puyvalleé Renaud. Sur les relations d'incomposabilité dans les logiques de complémentarité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 230 , pp. 265–267. [REVIEW]A. R. Turquette - 1950 - Journal of Symbolic Logic 15 (3):231-232.
Février Paulette. Les relations d'incerttiude de Heisenberg el la logique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 204 , pp. 481–483.Février Paulette. Sur une forme générale de la définition d'une logique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 204 , pp. 958–959. [REVIEW]Ernest Nagel - 1937 - Journal of Symbolic Logic 2 (2):88-88.
Leavitt M. S.. Algebras de Boole e análise de circuitos. Portuguese translation of the foregoing by Maria Pilar Ribeiro. Gazeta de matemática, vol. 14 no. 55 , pp. 4–7.Riguet Jacques. Sur les rapports entre les concepts de machine de multipole et de structure algébrique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 237 , pp. 425–427.Riguet Jacques. Algorithmes de Markov et théorie des machines. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 242 , pp. 435–437. [REVIEW]Gene F. Rose - 1958 - Journal of Symbolic Logic 23 (1):62-62.
Kalmár Lászió. Une forme du théorème de Gödel sous des hypothèses minimales. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 229 , pp. 963–965.Kalmár Lászió. Quelques formes générales du théorème de Gödel. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 229 , pp. 1047–1049. [REVIEW]Leon Henkin - 1950 - Journal of Symbolic Logic 15 (3):230-230.
Destouches-Février Paulette. Sur les rapports entre la Logique et la Physigue théorique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 219 , pp. 481–483.Destouches-Février Paulette. Logique adaptée aux théories quantiques. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 221 , pp. 287–288. [REVIEW]Paul Bernays - 1949 - Journal of Symbolic Logic 14 (2):128-129.
L. E. J. Brouwer. Remarques sur la notion d'ordre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 230 , pp. 263–265. - L. E. J. Brouwer. Sur la possibilité d'ordonner le continu. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 230 , pp. 349–350. - L. E. J. Brouwer. On order in the continuum, and the relation of truth to non-contradictority. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings, series A, vol. 54 , pp. 357–358; also Indagationes mathematicae, vol. 13 , pp. 357–358. See Erratum, Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings, series A, vol. 55 , p. 79; also Indagationes mathematicae, vol. 14 , p. 79. - L. E. J. Brouwer. Over accumulatiekernen van oneindige kernsoorten . Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings, series A, vol. 54 , vol. 55 , pp. 439–441; also Indagationes mathematicae, vol. 14 , pp. 439–441. [REVIEW]Alfons Borgers - 1954 - Journal of Symbolic Logic 19 (2):125-126.
Friedberg Richard. Un contre-exemple relatif aux fonctionnelles récursives. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 247 , pp. 852–854. [REVIEW]Marian Boykan Pour-El - 1959 - Journal of Symbolic Logic 24 (2):171-171.
Rose Alan. Sur un ensemble de fonctions primitives pour le calcul des prédicats du premier ordre lequel constitue son propre dual. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 234 , pp. 1830–1831. [REVIEW]Alonzo Church - 1953 - Journal of Symbolic Logic 18 (4):343-344.

Analytics

Added to PP
2016-06-30

Downloads
27 (#557,528)

6 months
6 (#431,022)

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