Text this: Вып. 12 : Методы логики в проблемах искусственного интеллекта и информатики; Семиотика и информатика