Computability: Turing, Godel, Church, And Beyond
by B. Jack Copeland /
2013 / English / PDF
4.8 Mb Download