Media type: E-Article Title: Programs, Proofs, Processes: Boole: From Calculating Numbers to Calculating Thoughts Contributor: Friend, Michèle imprint: Springer Berlin Heidelberg, 2010 Published in: Programs, Proofs, Processes Language: Not determined DOI: 10.1007/978-3-642-13962-8_19 ISSN: 0302-9743; 1611-3349 Origination: Footnote: