International Tbilisi Symposium 2005) Batumi TbiLLC (6 Logic, Language, and Computation [electronic resource] by Balder D Cate and Henk W Zeevat - Berlin Springer 2007 http://dx.doi.org/10.1007/978-3-540-75144-1 ISBN: 9783540751441 Dewey Class. No.: 410.285 / (e-book)