Titre :	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é
Type de document :	texte imprimé
Editeur :	Paris : Gauthier-Villars
Année de publication :	1954
Autre Editeur :	Louvain [Belgique] : E. Nauwelaerts
Collection :	Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554 num. V
Importance :	176 p.
Langues :	Français
Mots-clés :	logique mathématique  métamathématique  fondement des mathématiques  intuitionnisme  treillis

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é [texte imprimé] . - Paris : Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1954 . - 176 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; V) .
Langues : Français

Mots-clés :

logique mathématique  métamathématique  fondement des mathématiques  intuitionnisme  treillis