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

Bibliografiske detaljer
Hovedforfatter: Von Plato, Jan (Author)
Format: Electronic Resource
Sprog:English
Udgivet: Cambridge, Massachusetts The MIT Press [2017]
Fag:
Information technology > History.
Computers > History.
Electronic books.
Online adgang:https://ieeexplore.ieee-org.ezproxy.engglib.upd.edu.ph/document/9452381
https://ieeexplore.ieee.org/document/9452381