Interfaces : Explorations in Logic, Language and ComputationThomas Icard, Reinhard Muskens · First published 2010Open the Tome