Logic, language and computation. - Lawrence, Cavedon (CSLI Lecture notes ;, 2000)