1. Closure properties and kripke models for fragments of heyting arithmetic
پدیدآورنده : by: Morteza Moniri,^AMoniri, Morteza
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
2. Predicative arithmetic
پدیدآورنده : Nelson, Edward
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Constructive mathematics,، Arithmetic--1691-
رده :
QA
9
.
56
.
N45
1986
3. Predicative arithmetic
پدیدآورنده : Nelson, Edward, 2391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Constructive mathematics,، Arithmetic
رده :
QA
9
.
56
.
N45
1986
