Logic, Language, Information and Computation - Leivant, Daniel (Springer Berlin Heidelberg, 2007)