Proof and computation digitization in mathematics, computer science and philosophy - Mainzer, Klaus 1947-; Schuster, Peter 1966-; Schwichtenberg, Helmut 1942- (World Scientific, 2018)
Includes bibliographical references and index