Collection de logique mathématique / Série B (Gauthier-Villars, 1952)