This volume brings together papers from linguists, logicians and computer scientists from thirteen countries (Armenia, Denmark, France, Georgia, Germany, Israel, Italy, Japan, Poland, Spain, Sweden, UK and USA). This collection has two main aims: first to serve as a catalyst for new interdisciplinary developments in language, logic and computation; and second, to introduce new ideas from the expanded European academic community. Spanning a wide range of disciplines, the papers included in this volume cover such topics as formal semantics of natural language, dynamic semantics, channel theory, formal syntax of natural language, formal language theory, corpus-based methods in computational linguistics, computational semantics, syntactic and semantic aspects of lambda-calculus, non-classical logics, and a fundamental problem in predicate logic. The papers that appear in this volume have been selected from those originally presented at the first Tbilisi Symposium on Language, Logic and Computation that took place in Gudauri, the Republic of Georgia, in October 1995.