[Review of: The Tbilisi symposium on logic, language and computation]