Alan Turing´s Systems of Logic

Alan Turing´s Systems of Logic
12,50 €
Sense existències ara
Rep-lo a casa en una setmana per Missatger o Eco Enviament*
"This book presents the story of Turing´s work at Princeton University and includes a facsimile of his doctoral dissertation, ´Systems of Logic Based on Ordinals,´ which he completed in 1936. The author includes a detailed history of Turing´s work in computer science and the attempts to ground the field in formal logic."