A first course in logic an introduction to model theory, proof theory, computability, and complexity - Hedman, Shawn (Oxford University Press, 2004)
Includes bibliographical references (pages 426-427) and index