The great formal machinery works : theories of deduction and computation at the origins of the digital age /
The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computatio...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Princeton, New Jersey ; Woodstock, Oxfordshire :
Princeton University Press,
[2017]
|
Temas: | |
Acceso en línea: | Texto completo |