TY - BOOK AU - Pour-El,M.B & Richards,J.I ED - Richards, J.I TI - Computability in analysis & physics T2 - Perspectives in mathematical logic SN - 3540500359 U1 - 11.12+13.01 PY - 1989/// CY - Berlin PB - Springer ER -