The book was published in electronic form on the website mathtree.ru 24.12.2012
VOLUME 1
of Vladimir Alfeevich Kuznetsov’s book
«Intuitionistic Set Theory»
- 2012, - 456 p.
of Vladimir Alfeevich Kuznetsov’s book
«Intuitionistic Set Theory»
- 2012, - 456 p.
207 MB
The book is the first part of a 15-year research of the author on the intuitionistic set theory. The result of the research is the final version of the axiomatic system of intuitionistic set theory, which provides within of intuitionistic logic full picture the world of sets is not conceding the picture given by the classical theory of sets.
Volume 1 is presented in Russian only
