Soare, Robert I

Turing computability: Theory and applications - Berlin Springer 2016

511.352 / SOA.T