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

Bibliografiska uppgifter
Huvudupphovsman: Von Plato, Jan (Författare, medförfattare)
Materialtyp: Electronic Resource
Språk:English
Publicerad: Cambridge, Massachusetts The MIT Press [2017]
Ämnen:
Information technology > History.
Computers > History.
Electronic books.
Länkar:https://ieeexplore.ieee-org.ezproxy.engglib.upd.edu.ph/document/9452381
https://ieeexplore.ieee.org/document/9452381