TY - BOOK AU - Weihrauch, K TI - Computable analysis : an introduction SN - 9783540668176 SN - 56310 U1 - 515 WEI PY - 2000/// CY - Berlin ; New York PB - Springer Verlag KW - Computable functions KW - Mathematical analysis KW - Recursion theory N1 - Includes bibliographical references and index ER -