Alan Turing´s Systems of Logic

Alan Turing´s Systems of Logic

Alan Turing´s Systems of Logic

Editorial: Princeton

Pàgines: 140

Any: 2014

EAN: 9780691164731

12,50 €
    No disponible ara a

    Temps d'entrega:
    Per consultar al distribuïdor
    • - La Central del MUHBA
    • - La Central del Raval
    • - La Central (c/ Mallorca)
    • - La Central de Callao
    • - La Central del Museo Reina Sofía
"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."
Les cookies són importants per a tu, influeixen en la teva experiència de navegació, ens ajuden a protegir la teva privadesa i permeten realitzar les peticions que ens sol·licitis a través de la web. Utilitzem cookies pròpies i de tercers per analitzar els nostres serveis i mostrar publicitat relacionada amb les teves preferències en base a un perfil elaborat amb els teus hàbits de navegació (per exemple pàgines visitades). Si consentiu la vostra instal·lació prem "Acceptar cookies", o també pots configurar les teves preferències aquí. Més informació a la nostra Política de cookies