TY - BOOK AU - Loecks, J TI - Computability and decidability: introduction for students ofcomputer science PY - 1972/// CY - Berlin PB - Springer Verlag KW - Computable functions ER -