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

Dettagli Bibliografici
Autore principale: Von Plato, Jan (Autore)
Natura: Electronic Resource
Lingua:English
Pubblicazione: Cambridge, Massachusetts The MIT Press [2017]
Soggetti:
Information technology > History.
Computers > History.
Electronic books.
Accesso online:https://ieeexplore.ieee-org.ezproxy.engglib.upd.edu.ph/document/9452381
https://ieeexplore.ieee.org/document/9452381