Logic by Wilfred Hodges