TY  - BOOK
AU  - Wang Hao
AU  - Mcnaughton Robeert
TI  - Systemes axiomatiques de la theorie des ensembles
U1  - 164=4 
PY  - 1953///
CY  - Paris
PB  - Gauthier- Villars
KW  - Mathematical Logic
KW  - Symbolic
ER  -