You are about to access our book library "Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised ... Notes in Computer Science Book 4363) full version" .