Colloque international de logique mathématique. 2d, Paris 1952