A first Course in Logic: An Introduction to Model Theory, Proof Theory, Computability and Complexity
Hedman, Shawn.
A first Course in Logic: An Introduction to Model Theory, Proof Theory, Computability and Complexity - New York Oxford University Press 2004 - xx,431p.
9780198529811
Logic
160 / Hed
A first Course in Logic: An Introduction to Model Theory, Proof Theory, Computability and Complexity - New York Oxford University Press 2004 - xx,431p.
9780198529811
Logic
160 / Hed