デジタル時代を準備した演繹と計算の理論
The Great Formal Machinery Works
Theories of Deduction and Computation at the Origins of the Digital Age
von Plato, Jan
- 出版社：Princeton University Press
- 出版年月：2017年 08月
- ISBN：9780691174174
- 装丁：HRD
-
装丁について
- 言語：ENG
- 巻数・ページ数：392 p.
- DDC分類：004.09
- 内容紹介：
-
Draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution.