1
Published 2015
Springer International Publishing
Table of Contents: ...Post & Turing, Martin Davis and Wilfried Sieg -- 2. Algorithms: From Al-Khwarizmi to Turing...