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
GBA4-X5534
Logic.
Logic symbolic and mathematical.
QA9 / .H36 2004
160
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
GBA4-X5534
Logic.
Logic symbolic and mathematical.
QA9 / .H36 2004
160