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

Podrobná bibliografie
Hlavní autor: Von Plato, Jan (Autor)
Médium: Electronic Resource
Jazyk:English
Vydáno: Cambridge, Massachusetts The MIT Press [2017]
Témata:
Information technology > History.
Computers > History.
Electronic books.
On-line přístup:https://ieeexplore.ieee-org.ezproxy.engglib.upd.edu.ph/document/9452381
https://ieeexplore.ieee.org/document/9452381