Non abbiamo ancora una biografia di S. B. Cooper.
Pubblicato in Inglese
The once and future Turing
2016
Computability, enumerability, unsolvability
2011
New computational paradigms
2010
Computability and models
2003
The selected works of A.M. Turing
2012
Computability in context
Otium
