TY - BOOK AU - Wang Hao TI - Survey of mathematical logic T2 - Studies in logic and the foundations of mathematics ed by L E J Brouwer U1 - R14, K31 PY - 1963/// CY - Peking PB - Science Press Ching KW - PHILOSOPHY ER -