International Tbilisi Symposium on Logic, Language, and Computation (6th 2005 Batumi, Georgia)