Logic, language and computation.
Cavedon, Lawrence,1964-
Stanford, Calif. : CSLI Publications,
c2000.