Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
Ключевые слова: интуиционистская аксиоматическая теория множеств,
интуиционистская логика,
теория множеств,
универсум множеств,
рекурсивная реализуемость,
тезис Чёрча,
принцип униформизации,
функция экстенсиональности множества. Intuitionistic axiomatic set theory.
