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.