TY  - BOOK
AU  - Soare, Robert I
TI  - Turing computability: Theory and applications
U1  - 511.352 
PY  - 2016///
CY  - Berlin
PB  - Springer
ER  -