Download A First Course In Logic: An Introduction To Model Theory, Proof Theory, Computability, And Complexity