The great formal machinery works theories of deduction and computation at the origins of the digital age

The great formal machinery works theories of deduction and computation at the origins of the digital age

Detalles Bibliográficos
Autor principal: Von Plato, Jan (Autor)
Formato: Electronic Resource
Lenguaje:English
Publicado: Cambridge, Massachusetts The MIT Press [2017]
Materias:
Information technology > History.
Computers > History.
Electronic books.
Acceso en línea:https://ieeexplore.ieee-org.ezproxy.engglib.upd.edu.ph/document/9452381
https://ieeexplore.ieee.org/document/9452381