APPLICATIONS SCIENTIFIQUES DE LA LOGIQUE MATHEMATIQUE - Colloque International De Logique Mathematique (Gauthier-Villars, 1954)