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