Kreisel Georges. La prédicativité. Bulletin de la Société Mathématique de France, vol. 88 , pp. 371–391

Journal of Symbolic Logic 27 (1):79-80 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963688

Links

PhilArchive



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

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: Georges Kreisel, La Predicativite. [REVIEW]Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (1):79-80.
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.
Empreintes d’échanges au sein de la Société mathématique de France dans les pages de son Bulletin : le cas de Charles-Ange Laisant.Jérôme Auvinet - 2015 - Philosophia Scientiae 19:135-151.
Riguet Jacques. Relations binaires, fermetures, correspondences de Galois. Bulletin de la Société Mathématique de France, vol. 76 , pp. 114–155. [REVIEW]Oystein Ore - 1951 - Journal of Symbolic Logic 16 (1):61-61.
Empreintes d’échanges au sein de la Société mathématique de France dans les pages de son Bulletin : le cas de Charles-Ange Laisant.Jérôme Auvinet - 2015 - Philosophia Scientiae 19:135-151.
Kreisel G.. On the concepts of completeness and interpretation of formal systems. Fundamenta mathematicae, vol. 39 , pp. 103–127.Kreisel G.. Applications of mathematical logic to various branches of mathematics. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed , Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 37–49.Robinson A. and Kreisel G.. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed , Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, p. 50.Kreisel G.. Models, translations, and interpretations. Mathematical interpretation of formal systems, Studies in logic and the foundations of ma. [REVIEW]William Craig - 1959 - Journal of Symbolic Logic 24 (3):236-238.
A. Heyting. Logique et intuitionnisme. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 75–82. - G. Kreisel, Abraham Robinson, Ingebrigt Johansson, Georges Kurepa, A. Heyting. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 82–83. [REVIEW]Leon Henkin - 1958 - Journal of Symbolic Logic 23 (1):33-33.
La philosophie biologique d'Auguste Comte et son influence en France au XIXe siècle.Georges Canguilhem - 1958 - Société Française de Philosophie, Bulletin 52:13.
Kreisel's 'Unwinding Program'.Solomon Feferman - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 247--273.
La pensée mathématique: Discussion. Cartan - 1946 - Société Française de Philosophie, Bulletin 40 (1):(1946:janv./mars).
Kant et la mathématique moderne.L. Couturat - 1903 - Société Française de Philosophie, Bulletin 4:125.
La pensée mathématique: Exposé.M. R. Cavaillès - 1946 - Société Française de Philosophie, Bulletin 40 (1).
La notion mathématique de quantité.Georges Mouret - 1897 - Revue Philosophique de la France Et de l'Etranger 43:449 - 468.
Questions de philosophie mathématique.Georges Vandame - 1888 - Revue Philosophique de la France Et de l'Etranger 26:498 - 502.
"L'idée de vérité mathématique": Discussion.Eug Cahen - 1912 - Société Française de Philosophie, Bulletin 13:1.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,085,484)

6 months
4 (#790,394)

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