Logic, Language and Meaning - Hutchison, David; Kanade, Takeo; Kimmelman, Vadim; Roelofsen, Floris; Sassoon, Galit; Schulz, Katrin; Westera, Matthijs (Springer Berlin Heidelberg, 2012)