TY  - BOOK
AU  - Wang, Hao.
TI  - Survey of mathematical logic
T2  - Studies in Logic and the Foundations of Mathematics
U1  - 511.3 
PY  - 1963///
CY  - Amsterdam
PB  - Science-Press Peking
ER  -