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

Bibliographic Details
Main Author: Von Plato, Jan (Author)
Format: Electronic Resource
Language:English
Published: Cambridge, Massachusetts The MIT Press [2017]
Subjects:
Information technology > History.
Computers > History.
Electronic books.
Online Access:https://ieeexplore.ieee-org.ezproxy.engglib.upd.edu.ph/document/9452381
https://ieeexplore.ieee.org/document/9452381