Le Colloque de Logique mathématique

Revue Philosophique De Louvain 49 (21):120-130 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.3406/phlou.1951.4331

Other Versions

edition (1953) "Colloque de Logique Mathématique". Journal of Symbolic Logic 18(1):95-96

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

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

Le Colloque International de Logique.Jean Ladrière - 1958 - Revue Philosophique De Louvain 56 (52):686-694.
Le Colloque International de Logique.Robert Feys - 1953 - Revue Philosophique De Louvain 51 (32):594-624.
Dubarle Le R. P.. Initiation à la logique. Collection de logique mathématique, ser. A no. 13. “Tyme offset.” Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1957, title pages + 91 pp. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):30-30.
[Deuxième Colloque de Logique mathématique].Paulette Destouches-Février - 1953 - Revue Philosophique de la France Et de l'Etranger 143:88 - 91.
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.
Robinson Abraham. L'application de la logique formelle aux mathématiques. 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. 51–63.Kurepa G., Kreisel G., Robinson A.. Discussion. Applications scientifiques de la logique mathéatique, 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. 64. [REVIEW]Robert L. Vaught - 1958 - Journal of Symbolic Logic 23 (2):218-219.
Beth E. W.. Observations métamathématiques sur les structures simplement ordonnées. 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, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 29–35.Robinson A. and Beth E. W.. 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, Paris 1954, and E. Nauwelaerts, Louvain 1954, p. 35. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (1):34-35.
COLLOQUE DE LOGIQUE A LOUVAIN (5-9 septembre 1958).André-Louis Leroy - 1959 - Revue Philosophique de la France Et de l'Etranger 149:114 - 115.
Dominique Dubarle, L'ontologie de Thomas d'Aquin.Emmanuel Tourpe - 1996 - Revue Philosophique De Louvain 94 (4):687-691.

Analytics

Added to PP
2014-01-18

Downloads
15 (#1,239,394)

6 months
3 (#1,479,050)

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