VOLUME 2
of Vladimir Alfeevich Kuznetsov’s book
« Intuitionistic set theory »
- 2014, - 318 p.
of Vladimir Alfeevich Kuznetsov’s book
« Intuitionistic set theory »
- 2014, - 318 p.
The book is the second part of the 15-year research of the author on intuitionistic set theory. Reducible studies include basis intuitionistic set theory within of the axiomatic system K, obtained by the author in the first volume. Axiomatic system K of intuitionistic set theory provides within of intuitionistic logic complete picture of the world sets that are not inferior to the picture given by classical set theory. Outlined in the book basis of intuitionistic set theory sufficient for the development of intuitionistic mathematics in all directions. The book is intended for a wide circle of mathematicians.
138 MB
The book was published in electronic form on the website mathtree.ru 28.06.2014
