Proof and Computation: Digitization in Mathematics, Computer Science and Philosophy - Mainzer Klaus Et Al (World Scientific, 2018)
Keywords: Mathematics