عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Closure properties and kripke models for fragments of heyting arithmetic
نام نخستين پديدآور
by: Morteza Moniri
مشخصات ظاهری
نام خاص و کميت اثر
71 p.
یادداشتهای مربوط به پایان نامه ها
نظم درجات
Ph.D.
کسي که مدرک را اعطا کرده
Institute for Research in Fundamental Sciences
کسي که مدرک را اعطا کرده
Tehran
زمان اعطا مدرک
1379
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Intuitionistic mathematics
عنصر شناسه ای
Constructive mathematics
عنصر شناسه ای
Logic, Symbolic and mathematical
عنصر شناسه ای
Arithmetic
عنصر شناسه ای
Kripke, Saul A., 1940-
عنصر شناسه ای
Heyting, Arend, 1898-
عنصر شناسه ای
Model theory
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
^AMoniri, Morteza
