00675nam a2200205 a 4500 157695 OSt 20220113151221.0 200624 ### ENG 9789813270930 004.0151 P94P Proof and computation : digitization in mathematics, computer science, and philosophy edited by Klaus Mainzer, Peter Schuster and Helmut Schwichtenberg New Jersey World scientific 2018 vii, 291p. Mathematics--Data processing Mainzer, Klaus Editor Schuster, Peter Editor Schwichtenberg, Helmut Editor ddc BK 20027 20027 0 0 ddc 0 0 TXB CURAJ CURAJ 2020-06-24 CSC 004.0151 P94P 34092 2020-09-02 2020-09-02 BK