English Beginner A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity Shawn Hedman 2004 View book