Теория множеств с интуиционистской логикой: базисная система.
Main Article Content
Аннотация
We give in this short article the basic formal system of set theory, which underlining logic is intuitionistic logic.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Хаханян В. Теория множеств с интуиционистской логикой: базисная система. // Логические исследования / Logical Investigations. 2004. Т. 11. C. 278-281.
Выпуск
Раздел
Статьи