Computable Analysis (2000)

by K Weihrauch