Logic, language and computation - Moss, Lawrence Stuart 1959- (CSLI Publ., 1999)