《逻辑的引擎》MartinDavis

Turing,HisMachine and Computability Jurg Kohlas RegisterMachinesareTuringMachines ColinB.Price