TY  - BOOK
ED  - Colloque International de logique mathematique( 2nd : 1952 : Paris )
ED  - Colloque International de logique mathematique 2nd
TI  - Applications scientifiques de la logique mathematique : proceedings
U1  - 511.3=4 
PY  - 1954///
CY  - Paris
PB  - Gauthier-Villars
KW  - Mathematical logic
ER  -