A Friendly Introduction to Mathematical Logic

Christopher C. Leary, Lars Kristiansen