TY  - BOOK
AU  - Klaus Mainzer
TI  - Proof and Computation
SN  - 9789813270930
U1  - 006.3 
PY  - 2018///
CY  - Singapore
PB  - World Scientific Publishing Co
KW  - Computer Science
ER  -