Applications scientifiques de la logique mathématique actes du 2e Colloque international de logique mathématique ; Paris, 25 - 30 aout 1952, Institut Henri Poincaré (Gauthier-Villars ; Nauwelaerts, 1954)