Logic, language and computation.
Ginzburg, Jonathan,1964-
Moss, Lawrence Stuart,1959-
Rijke, Maarten de.
Stanford, Calif. : CSLI Publications,
c1999.
Computational linguistics.
Language and logic.
Logic, Symbolic and mathematical.