A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity Book Discussion
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
by
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)