TY - BOOK AU - Pour, Marian B. AU - Richarda, Ian J. TI - Computability in analysis and physics T2 - Perspectives in mathematical logic SN - 0387500359 U1 - 515 PY - 1989/// CY - Berlin PB - S-V ER -