Исследования по формализованным языкам и неклассическим логикам

Сборник содержит статьи по формальным системам без типовых иерархий, основаниям математической логики и теории множеств. Тематика статей сборника включает исследования некоторых неклассических логик и их применения к проблемам теории множеств и основ интуиционистического анализа, а такжепостроения языков, основанных на некоторых представлениях рекурсивных функций.
Ответственный редактор Бочвар Д.А.