TY  - BOOK
AU  - Mainzer,Klaus
TI  - Proof and computation: digitization in mathematics, computer science and philosophy 
SN  - 9789813270930 
PY  - 2018///
CY  - New Jersey
PB  - World Scientific
KW  - Mathematics
KW  - Data processing
KW  - Philosophy
N1  - Includes bibliographical references and index
ER  -