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.
9780198529811
2004303637
GBA4-X5534
Logic.
Logic, Symbolic and mathematical.
QA9 / .H36 2004
160 / He Fi
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.
9780198529811
2004303637
GBA4-X5534
Logic.
Logic, Symbolic and mathematical.
QA9 / .H36 2004
160 / He Fi