A first course in logic :
Hedman, Shawn.
A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman. - Oxford ; New York : Oxford University Press, 2004. - xx, 431 p. : ill. ; 25 cm. - Oxford texts in logic ; 1 .
Includes bibliographical references (p. [426]-427) and index.
0198529805 0198529813 (pbk.)
2004303637
Logic.
Logic, Symbolic and mathematical.
160 / H455
A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman. - Oxford ; New York : Oxford University Press, 2004. - xx, 431 p. : ill. ; 25 cm. - Oxford texts in logic ; 1 .
Includes bibliographical references (p. [426]-427) and index.
0198529805 0198529813 (pbk.)
2004303637
Logic.
Logic, Symbolic and mathematical.
160 / H455