Tbilisi Symposium on Logic, Language, and Computation (1995 Gudauri, Georgia)