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

Detaylı Bibliyografya
Yazar: Von Plato, Jan (Yazar)
Materyal Türü: Electronic Resource
Dil:English
Baskı/Yayın Bilgisi: Cambridge, Massachusetts The MIT Press [2017]
Konular:
Information technology > History.
Computers > History.
Electronic books.
Online Erişim:https://ieeexplore.ieee-org.ezproxy.engglib.upd.edu.ph/document/9452381
https://ieeexplore.ieee.org/document/9452381