Proofs and Algorithms : An Introduction to Logic and Computability - Gilles Dowek ((Undergraduate Topics in Computer Science))