New Directions in Logic, Language and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers - Lassiter, Daniel; Slavkovik, Marija (Springer Berlin Heidelberg : Imprint: Springer, 2012)