TY  - BOOK
AU  - Colloque International De Logique Mathematique
TI  - APPLICATIONS SCIENTIFIQUES DE LA LOGIQUE MATHEMATIQUE
U1  - 164 
PY  - 1954///
CY  - 
PB  - Gauthier-Villars
ER  -