Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada Logic, Language, and Computation - Germany Springer 2011 ISBN: 978-3-642-22303-7 Subjects--Topical Terms: Computer ScienceLogic, Language, and Computation