دانلود کتاب Intuitionistic Set Theory
by John L. Bell
|
عنوان فارسی: Intuitionistic نظریه مجموعه |
دانلود کتاب
جزییات کتاب
In this book I offer a brief but systematic introduction to IST which develops the subject up to and including the use of Heyting-algebra-valued models in relative consistency proofs. I believe that IST, presented as it is in the familiar language of set theory, will appeal particularly to those logicians, mathematicians and philosophers who are unacquainted with the methods of topos theory.