【书名】：《TURING'S LEGACY:DEVELOPMENTS FROM TURING'S IDEAS IN LOGIC》
【作者】：ROD DOWNEY
【出版社】：CAMBRIDGE
【时间】：2014
【页数】：529
【ISBN】：9781107043480
【SS码】：40898323