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 / Shawn Hedman - New York : Oxford University Press, 2004 - 431 p. : ill. ; 25 cm - Oxford texts in logic 1 .
0198529805
Logic
Logic, Symbolic and mathematical
A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman - New York : Oxford University Press, 2004 - 431 p. : ill. ; 25 cm - Oxford texts in logic 1 .
0198529805
Logic
Logic, Symbolic and mathematical