Text this: Интенсиональные логики и логическая структура теорий: материалы IV Советско-финского симпозиума по логике, Телави, май 20-24, 1985 г.