Logic, Language, and Computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers - Peter Bosch, David Gabelaia, Jérôme Lang ((Lecture Notes in Computer Science))