Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers - Cate, Balder D. ten; Zeevat, Henk W. (Springer Berlin Heidelberg, 2007)