1
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Framework for Computable Analysis -- Computing with Sequences, Weak Topologies and the Axiom of Choice...