Saltar a: Contenido ��� | Pie de la página ��� | Menú principal ���


FU

Appel, Andrew W. (ed.)

Alan Turing´s Systems of Logic

"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."

Utilizamos cookies propias y de terceros para mejorar nuestros servicios y mostrarle publicidad relacionada con sus preferencias mediante el análisis de sus hábitos de navegación. Si continúa navegando, consideramos que acepta su uso. Puede cambiar la configuración u obtener más información en nuestra "Política de cookies".

Saltar a: Contenido ��� | Pie de la página ��� | Menú principal ���