Computability Theory (Chapman Hall/Crc Mathematics Series)

The Incomputable

How the World Computes

Logic Colloquium 2006

Models and Computability

Ramanujan's Theta Functions

Computability Theory

Computability Theory, Second Edition

Alan Turing

How The World Computes Turing Centenary Conference And 8th Conference On Computability In Europe Cie 2012 Cambridge Uk June 1823 2012 Proceedings

Computability in Context