Logic, language and computation - Westertahl, Dag; Seligman, Jerry; Conference on information-based approaches to logic, language and communication (CSLI lecture notes, 1995)