TY - BOOK AU - Hao, Wang TI - Computation, logic, philosophy: a collection of essays SN - 0-7923-0218-4 AV - QA 76.9.M35 W35.1990 PY - 1990/// CY - Beijing PB - Science, Kluwer Academic KW - Computación KW - Matemáticas KW - Lógica simbólica y matemática ER -