@book{34143,
	author = {Dowek, Gilles },
	title = {Computation, proof, machine},
	publisher = {Cambridge University Press},
	year = {2015},
	address = {New York}
}