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

Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Von Plato, Jan (Údar)
Formáid: Electronic Resource
Teanga:English
Foilsithe / Cruthaithe: Cambridge, Massachusetts The MIT Press [2017]
Ábhair:
Information technology > History.
Computers > History.
Electronic books.
Rochtain ar líne:https://ieeexplore.ieee-org.ezproxy.engglib.upd.edu.ph/document/9452381
https://ieeexplore.ieee.org/document/9452381