Copeland

Computability: Turing, Gödel, Church, and Beyond - MIT Press 2013

fulltext

Monograph

9780262312677


Computing and Processing; General Topics for Engineers