Logic, language and computation - Moss, Lawrence S.; Ginzburg, Jonathan; Rijke, Maarten de (CSLI lecture notes ;, 1999)