Essai de formalisation complète du raisonnement mathématique sur la base de trois opérations. 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é, Collection de logique mathématique, ser
