The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age, by Jan Von Plato
DOI10.1080/17498430.2018.1472471zbMath1403.00006OpenAlexW2807024611WikidataQ58534002 ScholiaQ58534002MaRDI QIDQ4561032
Publication date: 10 December 2018
Published in: BSHM Bulletin: Journal of the British Society for the History of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/17498430.2018.1472471
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Research exposition (monographs, survey articles) pertaining to history and biography (01-02) History of computer science (68-03) General histories, source books (01A05) General topics in the theory of computing (68Q01) External book reviews (00A17)
This page was built for publication: The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age, by Jan Von Plato
