Computability in analysis and physics (Berlin ; | New York : Springer Verlag, 1989)