Logic, Language, and ComputationNick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada · First published 2011Open the Tome
