Proof and computation :  digitization in mathematics, computer science and philosophy / 
edited by Klaus Mainzer ... [et al.] 
 - New Jersey :  World Scientific,  2018. 
 - viii, 291 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9789813270930  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics--Data processing.<br/>Mathematics--Philosophy.