The Universal Computer: The Road From Leibniz To Turing
by Martin Davis /
2011 / English / PDF
4 Mb Download