Proofs and Algorithms An Introduction to Logic and Computability - Dowek, Gilles (Springer London, 2011)