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