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

Détails bibliographiques
Auteur principal: Von Plato, Jan (Auteur)
Format: Electronic Resource
Langue:English
Publié: Cambridge, Massachusetts The MIT Press [2017]
Sujets:
Information technology > History.
Computers > History.
Electronic books.
Accès en ligne:https://ieeexplore.ieee-org.ezproxy.engglib.upd.edu.ph/document/9452381
https://ieeexplore.ieee.org/document/9452381