TY - BOOK AU - Pour-El M B AU - Richards J I TI - Computability in analysis and physics U1 - 005.131 PY - 1989/// CY - Berlin PB - Springer Verlag KW - Computability KW - Computer science KW - Programming languages ER -