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