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

Bibliografische gegevens
Hoofdauteur: Von Plato, Jan (Auteur)
Formaat: Electronic Resource
Taal:English
Gepubliceerd in: Cambridge, Massachusetts The MIT Press [2017]
Onderwerpen:
Information technology > History.
Computers > History.
Electronic books.
Online toegang:https://ieeexplore.ieee-org.ezproxy.engglib.upd.edu.ph/document/9452381
https://ieeexplore.ieee.org/document/9452381