TY  - BOOK
AU  - Copeland
TI  - Computability: Turing, Gödel, Church, and Beyond
PB  - IEEE
UR  - https://ieeexplore.ieee.org/servlet/opac?bknumber=6554353
ER  -