Теория множеств с интуиционистской логикой: базисная система.
##plugins.themes.bootstrap3.article.main##
Abstract
We give in this short article the basic formal system of set theory, which underlining logic is intuitionistic logic.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Khakhaman V. Теория множеств с интуиционистской логикой: базисная система. // Logicheskie Issledovaniya / Logical Investigations. 2004. VOL. 11. C. 278-281.
Issue
Section
Papers