Related Books

Alan Turing's Systems of Logic
Language: en
Pages: 160
Authors: Andrew W. Appel
Categories: Computers
Type: BOOK - Published: 2014-11-16 - Publisher: Princeton University Press

GET EBOOK

A facsimile edition of Alan Turing's influential Princeton thesis Between inventing the concept of a universal computer in 1936 and breaking the German Enigma c
Alan Turing's Systems of Logic
Language: en
Pages: 164
Authors: Andrew W. Appel
Categories: Computers
Type: BOOK - Published: 2021-10-12 - Publisher: Princeton University Press

GET EBOOK

A facsimile edition of Alan Turing's influential Princeton thesis Between inventing the concept of a universal computer in 1936 and breaking the German Enigma c
The Essential Turing
Language: en
Pages: 1428
Authors: B. J. Copeland
Categories: Science
Type: BOOK - Published: 2004-09-09 - Publisher: Clarendon Press

GET EBOOK

The ideas that gave birth to the computer age Alan Turing, pioneer of computing and WWII codebreaker, was one of the most important and influential thinkers of
Computability
Language: en
Pages: 373
Authors: B. Jack Copeland
Categories: Computers
Type: BOOK - Published: 2013-06-07 - Publisher: MIT Press

GET EBOOK

Computer scientists, mathematicians, and philosophers discuss the conceptual foundations of the notion of computability as well as recent theoretical developmen
Alan Turing
Language: en
Pages: 937
Authors: S. Barry Cooper
Categories: Mathematics
Type: BOOK - Published: 2013-03-18 - Publisher: Elsevier

GET EBOOK

In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best