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