From discourse to logic : introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory
From discourse to logic : introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory / by Hans Kamp and Uwe Reyle