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 logi
پدیدآورنده: / Grigori Mints
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intuitionistic mathematics.
رده :
QA
,
9
.
47
,.
M56
,
2000eb
4. A short introduction to intuitionistic logic
پدیدآورنده: / Grigori Mints
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Intuitionistic mathematics,AoohtaMش?setsinnoitiutni seuqitam,Electronic books. , local
رده :
E-BOOK
5. A short introduction to intuitionistic logic
پدیدآورنده: Mints, Grigori E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Intuitionistic mathematics
رده :
QA
9
.
47
.
M56S5
6. Borba za sovetskuin vlast v pribaltike
پدیدآورنده: [ridkollegiia I. I. Mints]&
کتابخانه: كتابخانه وزارت امور خارجه (تهران)
موضوع: Baltic sea region - History,Soviet Union - History - Revolution, 1917 - 1921
رده :
{
1648
},
2fdaa6ecdf84ba11340f543bda28abbf
7. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
پدیدآورنده: P. Martin-Lof, G Mints, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
8. How the USSR began to manage the economy
پدیدآورنده: /Vladimir Drobizhev ; under the general editorship of Isaac Mints ; [translated from the Russian by Vladimir Krivoshchokov]
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع:
9. Information Processing in Biological Systems.
پدیدآورنده: Stephan L Mints
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QH507
.
S747
1985
10. Logic Colloquium' 96 :
پدیدآورنده: edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
A1
E358
1998
11. Logic Colloquium '96
پدیدآورنده: / J.M. Larrazabal, D. Lascar, G. Mints, eds
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical--Congresses
رده :
QA
,
9
,.
A1
,
L63
,
1996
BC
,
135
,.
L634
,
1996
12. Logic colloquium'96 : proceedings of the colloquium held in San Sebastian, Spain, July 9-15, 1996
پدیدآورنده: J. M. Larrazabal, D. Lascar, G. Mints )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
12
13. No Title
پدیدآورنده: Mints
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Economic Policy--Mathematical Models,Interindustry economics
رده :
HD
84
.
5
.
M52
14. Selected papers in proof theory
پدیدآورنده: Mints, G E
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
M56
1992
15. Selected papers in proof theory
پدیدآورنده: Mints, G. E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
M56
1992
16. Sotsial no-ekonomicheskie i sotsiologicheskie problemy balansa truda i biudzheta vremeni. L. E. Mints
پدیدآورنده: Mints
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Hours of labor,Capitalism,Communism
رده :
HD
5106
.
M56
17. Title in the Russian
پدیدآورنده: Mints
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Labor supply -- Russia
رده :
HD
5796
.
M53
18. Великая Отечественная война Советского Союза
پدیدآورنده: / И. Минц.,م‍ی‍ن‍ت‍س,Mints
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: جنگ جهانی دوم، ۱۹۳۹ - ۱۹۴۵م., -- روسیه شوروی
رده :
D
۷۶۴
/
م
۹
و
۹ ۱۳۲۶
19. انقلاب چگونه پيروز شد
پدیدآورنده: / نويسنده ايساک مينتس,مينتس,Mints
کتابخانه: كتابخانه آيت الله وزيری (آستان قدس رضوی ع) (یزد)
موضوع: روسيه شوروي -- تاريخ -- ۱۹۱۷م. -,روسيه شوروي -- سياست و حکومت
رده :
۹۴۷
/
۰۸۴
م
۹۸۵
الف
20. انقلاب چگونه پيروز شد
پدیدآورنده: / نويسنده ايساک مينتس,مينتس,Mints
کتابخانه: کتابخانه مرکزی آستان قدس رضوی (خراسان رضوی)
موضوع: روسيه شوروي -- تاريخ -- ۱۹۱۷م. -,روسيه شوروي -- سياست و حکومت
رده :
۹۴۷
/
۰۸۴
م
۹۸۵
الف
