1. A Short Introduction= Short Introduction> to Intuitionistic Logic>
پدیدآورنده : /Grigori Mints
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع :
2. A Short introduction to modal logic
پدیدآورنده : Mints, Grigori E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(
رده :
P
25
.
C28
No
.
30
3. A short introduction to intuitionistic logic
پدیدآورنده : / Grigori Mints
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Intuitionistic mathematics,AoohtaMش?setsinnoitiutni seuqitam,Electronic books. , local
رده :
E-BOOK
4. A short introduction to intuitionistic logic
پدیدآورنده : Mints, Grigori E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
47
.
M56S5
5. Logic Colloquium' 96 :
پدیدآورنده : edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
A1
E358
1998
