Buy Proofs And Algorithms: An Introduction To Logic And Computability 2011