TY - BOOK AU - Copeland TI - Computability: Turing, Gödel, Church, and Beyond SN - 9780262312677 PY - 2013/// PB - MIT Press KW - Computing and Processing KW - General Topics for Engineers UR - https://ieeexplore.ieee.org/servlet/opac?bknumber=6554353 ER -