Logic, language and computation - Moss, Lawrence Stuart 1959- (CSLI-lecture-notes, 1999)