@book{20027,
	author = {Mainzer, Klaus},
	title = {Proof and computation : digitization in mathematics, computer science, and philosophy},
	publisher = {World scientific},
	year = {2018},
	address = {New Jersey}
}