he book's title
Kuznetsov V.A. "The Intuitionistic Set Theory", vol. 1, 2
Description of the first volume
The book is the first part of a 15-year research 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.
Description of the second volume
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.
Links
- Vol. 1 (PDF, 207 MB)
- Vol. 1 * (PDF, 1,83 Мб)
- Vol. 2 (PDF, 136 Мб)
- Vol. 2 * (PDF, 2,07 Мб)
- Vol. 3 (PDF, 78 Мб)
- Vol. 3 * (PDF, 1,32 Мб)
- Vol. 3 - extended edition (PDF, 109 Мб)
- Vol. 3 - extended edition * (PDF, 1,81 Мб)
- Vol. 4 (PDF, 129 Мб)
- Vol. 4 * (PDF, 2,20 Мб)
- Vol. 4 - second edition (PDF, 221 Мб)
- Vol. 4 - second edition * (PDF, 3,80 Мб)
- Vol. 4 - third edition (PDF, 234 Мб)
- Vol. 4 - third edition * (PDF, 4,03 Мб)
- Vol. 4 - fourth edition (PDF, 247 Мб)
- Vol. 4 - fourth edition * (PDF, 5,67 Мб)
- Vol. 4 - fifth edition (PDF, 263 Мб)
- Vol. 4 - fifth edition * (PDF, 7,01 Мб)
- Vol. 4 - sixth edition (PDF, 304 Мб)
- Vol. 4 - sixth edition * (PDF, 8,78 Мб)
- Vol. 5 (PDF, 152 Мб)
- Vol. 5 * (PDF, 2,66 Мб)
- Vol. 5 - second edition (PDF, 181 Мб)
- Vol. 5 - second edition * (PDF, 3,14 Мб)
*- you must to install the program MathMagic from site www.mathmagic.com (exe-file is about 10MB) to view the pages of this PDF file correctly, because the book was created by program MathMagic. http://www.mathmagic.com.
Contact
E-mail: vladimir.kuznetsov61@yandex.ru.