عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
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
