Mathematical Logic Otil P door Wilfred Hodges & Ian Chiswell