Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers - Aher, Martin; Hole, Daniel; Jeřábek, Emil; Kupke, Clemens (Springer Berlin Heidelberg : Imprint: Springer, 2015)