Proofs and Algorithms: An Introduction to Logic and Computability Gilles Dowek (auth.) 0857291203,9780857291202,9780857291219