S. Barry Cooper
Books
- Theory and applications of models of computation
- Sets and Proofs
- Computability Theory
- How the World Computes
- How The World Computes Turing Centenary Conference And 8th Conference On Computability In Europe Cie 2012 Cambridge Uk June 1823 2012 Proceedings
- Computability Theory (Chapman Hall/Crc Mathematics Series)
- Ramanujan's Theta Functions
- Alan Turing
- Theory and applications of models of computation
- Computing with Incomplete Information
- Computability in Context
- The Incomputable
- Models and Computability
- Logic Colloquium 2006
- Computation and Logic in the Real World
- Computability Theory, Second Edition
Author data: Open Library