Proof and computation : digitization in mathematics, computer science and philosophy - Mainzer, Klaus (New Jersey : World Scientific, 2018)
Includes bibliographical references and index
Keywords: Mathematics -- Data processing; Mathematics -- Philosophy