Dowek, Gilles Proofs and Algorithms: An Introduction to Logic and Computability - Springer 2011 ISBN: 9780857291202