Computable Analysis, An Introduction (2000)

by K Weihrauch