TY  - BOOK
AU  - Mainzer, Klaus
AU  - Schuster, Peter
AU  - Schwichtenberg, Helmut
TI  - Proof and computation : digitization in mathematics, computer science, and philosophy
SN  - 9789813270930
U1  - 004.0151 
PY  - 2018///
CY  - New Jersey
PB  - World scientific
KW  - Mathematics--Data processing
ER  -