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

Bibliografski detalji
Glavni autor: Von Plato, Jan (Autor)
Format: Electronic Resource
Jezik:English
Izdano: Cambridge, Massachusetts The MIT Press [2017]
Teme:
Information technology > History.
Computers > History.
Electronic books.
Online pristup:https://ieeexplore.ieee-org.ezproxy.engglib.upd.edu.ph/document/9452381
https://ieeexplore.ieee.org/document/9452381