Applications scientifiques de la logique mathematique : proceedings - Colloque International de logique mathematique( 2nd : 1952 : Paris ); Colloque International de logique mathematique 2nd Paris, 1952,25-30 (Paris Gauthier-Villars, 1954)
Keywords: Mathematical logic