S. Barry Cooper

Logic Colloquium 2006

2009

Computability Theory

2017

Models and Computability

2011

The Incomputable

2018

Sets and Proofs

2013

Computation and Logic in the Real World

2007

Computability in Context

2011

Ramanujan's Theta Functions

2017

How the World Computes

2012

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

2012

Computing with Incomplete Information

2020

Computability Theory, Second Edition

2016

Computability Theory (Chapman Hall/Crc Mathematics Series)

2003

Alan Turing

2013

Theory and applications of models of computation

2010