Mathematical Logic Otil C by Wilfred Hodges & Ian Chiswell