Interfaces: Explorations in Logic, Language and Computation: ESSLLI 2008 and ESSLLI 2009 Student Ses INTERFACES EXPLORATIONS IN LOG [ Thomas Icard ]