TY - BOOK AU - Fernandez Maribel TI - Models of computation: An introduction to computability theory U1 - D6,8(B), P9 PY - 2012/// CY - London PB - Springer KW - I I C ER -