TY - BOOK AU - Fernández,Maribel TI - Models of computation: an introduction to computability theory T2 - Undergraduate topics in computer science SN - 1848824335 PY - 2009/// CY - London, New York PB - Springer KW - Computable functions KW - Turing machines N1 - Includes bibliographical references and index ER -