Logic, Language And Computation by Maarten de Rijke, Lawrence S. Moss & Jonathan Ginzburg