عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Closure properties and kripke models for fragments of heyting arithmetic
First Statement of Responsibility
by: Morteza Moniri
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
71 p.
DISSERTATION (THESIS) NOTE
Discipline of degree
Ph.D.
Body granting the degree
Institute for Research in Fundamental Sciences
Body granting the degree
Tehran
Date of degree
1379
TOPICAL NAME USED AS SUBJECT
Entry Element
Intuitionistic mathematics
Entry Element
Constructive mathematics
Entry Element
Logic, Symbolic and mathematical
Entry Element
Arithmetic
Entry Element
Kripke, Saul A., 1940-
Entry Element
Heyting, Arend, 1898-
Entry Element
Model theory
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
^AMoniri, Morteza
