von Plato <br/><br/>
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age 

 -  IEEE 
<br/><br/><label>Source: </label>EBOOK