دانلود کتاب Intuitionistic General Topology [PhD Thesis]
by A.S. Troelstra
|
عنوان فارسی: توپولوژی عمومی شهودی [پایان نامه دکتری] |
دانلود کتاب
جزییات کتاب
In intuitionism, it is much more difficult to make such a distinction; predicates which might be considered as to belong to set theory in its most general form from a classical point of view can be used to describe "typically topological" properties in intuitionism. The contents of this thesis roughly correspond in classical topology to the contents of the first two chapters of de VRIES 1958.