
Computability Theory
2014
ISBN 9781439838433
Models and Computability
1999
ISBN 9781299405233
Logic Colloquium 2006
2009
ISBN 9780511605321
Computability Theory, Second Edition
2016
ISBN 9781439838440
The Incomputable
2016
ISBN 9783319436692
Ramanujan's Theta Functions
2017
ISBN 9783319561721