TY  - BOOK
AU  - Mainzer Klaus Et Al
TI  - Proof and Computation: Digitization in Mathematics, Computer Science and Philosophy
SN  - 9789813270947
PB  - World Scientific
KW  - Mathematics
UR  - https://www.worldscientific.com/worldscibooks/10.1142/11005#t=toc
ER  -