Proceedings of the Fifth Tbilisi Symposium on Language, Logic and Computation