Logic for the Mathematical - Hoffman Peter (University of Waterloo, 2006)
Includes bibliographical references
Keywords: Mathematical Logic