Boole: From Calculating Numbers to Calculating Thoughts
From MaRDI portal
Publication:3576203
DOI10.1007/978-3-642-13962-8_19zbMath1286.03003OpenAlexW1597329918MaRDI QIDQ3576203
Publication date: 29 July 2010
Published in: Programs, Proofs, Processes (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-13962-8_19
History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)
Related Items (2)
Is the principle of contradiction a consequence of \(x^2=x\)? ⋮ Mathematical and Technological Computability
This page was built for publication: Boole: From Calculating Numbers to Calculating Thoughts