Lacombe Daniel. Sur les possibilités d'extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 67–74.Bouligand G.. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, p. 75 [Book Review]

Journal of Symbolic Logic 25 (3):286-287 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964725

Links

PhilArchive



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

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

Beth E. W.. Construction sémantique de la logique intuitioniste. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 77–83.Heyting A.. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, p. 84.Heyting A.. La théorie élémentaire de l'intégration en mathématiques intuitionnistes. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 85–90. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):287-287.
Fraïssé Roland. Sur une extension de la polyrelation et des parentés tirant son origine du calcul logique du kème échelon. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 45–50.Tarski A.. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, p. 50.de Possel René and Fraïssé Roland. Hypothèses de la théorie des relations qui permettent d'associer, a un bon ordre d'un ensemble, un bon ordre, défini sans ambiguïté, de l'ensemble de ses parties. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 5. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):285-285.
Destouches Jean-Louis and Février Paulette. Remarques sur certains aspects formels des théories physiques. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 127–131.Fréchet M., Destouches J.-L., Bouligand G., Beth E. W., Février P.. Interventions. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 132–133. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):288-288.
Nolin L.. Sur l'algèbre des prédicats. Le raisonnement en mathématiques et en sciences expérimentales, Colloques internationaux du Centre National de la Recherche Scientifique 70, Éditions du Centre National de la Recherche Scientifique, Paris 1958, pp. 33–37.Mostowski A., Porte J., Tarski A., Riguet J.. Interventions. Le raisonnement en mathématiques et en sciences expérimentales, Colloques internationaux du Centre National de la Recherche Scientifique 70, Éditions du Centre National de la Recherche Scientifique, Paris 1958, p. 37. [REVIEW]Leon Henkin - 1959 - Journal of Symbolic Logic 24 (3):235-235.
Feys R.. Allocution prononcée par M. R. Feys. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 135–136.Destouches J.-L.. Allocution prononcée par M. J.-L. Destouches. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, p. 137.Törnebohm Håkan. Logical Studies. Library of Theoria, No. I. CWK Gleerup, Lund, and Ejnar Munksgaard, Copenhagen, 1955, 83 pp.Törnebohm Håkan. Discourse analysis. Theoria , vol. 21 , pp. 42–54. See also Erratum, ibid., p. 181.Törnebohm Håkan. Content of information. Theoria , vol. 21 , pp. 146–157. [REVIEW]Y. Bar-Hillel - 1960 - Journal of Symbolic Logic 25 (3):288-289.
Porte J.. Recherches sur les logiques modales. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 117–126. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):288-288.
Neoplatonism Le Néoplatonisme. Colloques Internationaux du Centre National de la Recherche Scientifique: Sciences Humaines. Pp. xiv+496. Paris: Centre National de la Recherche Scientifique, 1971. Cloth, 112, 90 fr. [REVIEW]G. J. P. O'Daly - 1974 - The Classical Review 24 (02):228-231.
Greek Palaeography La Paléographie grecque et byzantine (Colloques internationaux du Centre National de la Recherche Scientifique, 559). Pp. 587; 235 plates, many figures. Paris: Centre National de la Recherche Scientifique, 1977. 395 frs. [REVIEW]P. E. Easterling - 1980 - The Classical Review 30 (02):265-268.
Lukasiewicz Jan. Sur la formalisation des théories mathématiques. Les méthodes formelles en axiomatique, Paris, décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 11–19.Bernays Paul, Robinson Abraham, Curry Haskell B.. Discussion. Les méthodes formelles en axiomatique, Paris, décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 19–21. [REVIEW]Steven Orey - 1957 - Journal of Symbolic Logic 22 (2):214-214.
Mycenaean Studies Études mycéniennes. Actes du Colloque International sur les Textes Mycéniens, Gif-sur-Yvette, 3–7 avril 1956. (Colloques Internationaux du Centre National de la Recherche Scientifique.) Pp. 280; 1 plate. Paris: Centre National de la Recherche Scientifique, 1956. Cloth, 2,000 fr. [REVIEW]D. M. Jones - 1958 - The Classical Review 8 (3-4):264-266.
Hermes H.. Sur le concept d'axiomatisabilité. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 23–25.Bernays Paul, Robinson Abraham. 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. 26. [REVIEW]Jonathan Bennett - 1957 - Journal of Symbolic Logic 22 (1):83-83.
A. Ch'telet. Allocution d'ouverture. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. XIII. - L. E. J. Brouwer. Discours final. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. 75. - Abraham Robinson. On axiomatic systems which possess finite models. Methodos, vol. 3 , pp. 140–149. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):186-186.
Heyting A.. Espace de Hilbert et intuitionnisme. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 59–63.Bernays Paul, Hermes H., Heyting A., Johansson Ingebrigt, Robinson Abraham. 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. 64. [REVIEW]Sigekatu Kuroda - 1958 - Journal of Symbolic Logic 23 (2):228-229.
Bernays Paul, Beth E. W., Brouwer L. E. J., Destouches Jean-Louis, Feys R.. Discussion générale. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 73–74. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):185-186.
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.

Analytics

Added to PP
2016-06-30

Downloads
45 (#337,378)

6 months
2 (#1,157,335)

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