Proofs and Algorithms - Dowek, Gilles (Springer London, 2011)