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

Xehetasun bibliografikoak
Egile nagusia: Von Plato, Jan (Egilea)
Formatua: Electronic Resource
Hizkuntza:English
Argitaratua: Cambridge, Massachusetts The MIT Press [2017]
Gaiak:
Information technology > History.
Computers > History.
Electronic books.
Sarrera elektronikoa:https://ieeexplore.ieee-org.ezproxy.engglib.upd.edu.ph/document/9452381
https://ieeexplore.ieee.org/document/9452381