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 counting policies and operationg procedures
پدیدآورنده:
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع: Mints-U.S. Coinage-U.S
رده :
HG
453
.
U5
4. A short introduction to intuitionistic logi
پدیدآورنده: / Grigori Mints
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intuitionistic mathematics.
رده :
QA
,
9
.
47
,.
M56
,
2000eb
5. A short introduction to intuitionistic logic
پدیدآورنده: / Grigori Mints
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Intuitionistic mathematics,AoohtaMش?setsinnoitiutni seuqitam,Electronic books. , local
رده :
E-BOOK
6. A short introduction to intuitionistic logic
پدیدآورنده: Mints, Grigori E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Intuitionistic mathematics
رده :
QA
9
.
47
.
M56S5
7. Borba za sovetskuin vlast v pribaltike
پدیدآورنده: [ridkollegiia I. I. Mints]&
کتابخانه: كتابخانه وزارت امور خارجه (تهران)
موضوع: Baltic sea region - History,Soviet Union - History - Revolution, 1917 - 1921
رده :
{
1648
},
2fdaa6ecdf84ba11340f543bda28abbf
8. 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
9. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
I57
1988
10. CRC Handbook of medicinal mints (aromathematics)
پدیدآورنده: / by James A. Duke, Steven M. Beckstrom-Sternberg
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع: Lamiaceae- therapeutic use- handbooks,Aromatherapy- handbooks,Anti-Infective Agents, Local- handbooks
رده :
QV766
D877h
1996
11. Catalogue of the late Roman, Byzantine and Barbaric coins in the Charles University collection :
پدیدآورنده: Federico Gambacorta ; reviewed by PhDr. Martin Trefný, Ph. D. Dr. Fiorenzo Catalli ; edited by Alena Jirsová ; layout by Kateřina řezáčová.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Coins, Byzantine-- Czech Republic-- Prague, Catalogs.,Coins, Roman-- Czech Republic-- Prague, Catalogs.,ART-- Sculpture & Installation.,Coins, Byzantine.,Coins, Roman.,Czech Republic, Prague., 7
رده :
CJ969
.
G363
2013eb
12. Coinage in late Hellenistic and Roman Syria :
پدیدآورنده: Nurpetlian, Jack A.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: CJ Numismatics ; DS Asia
13. Cultural and socio-economic relations between the Turkmen states and the Byzantine empire and West with a corpus of the Turkmen coins in the Barber Institute Coin Collection
پدیدآورنده: Miynat, Ali
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: CJ Numismatics ; D111 Medieval History ; DE The Mediterranean Region. The Greco-Roman World
14. Darphane - Encyclopaedia of Islam, THREE
پدیدآورنده: Bölükbaşı, Ömerül Faruk
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Islam.
15. Die Munzpragungen des Islams. Zeitlich und Ortlich geordnet
پدیدآورنده: Zambaur
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Mints -- Islamic countries
رده :
HG
1318
.
Z3
R
16. <Die> Munzpragungen des Islams; Zeitlich und ortlich geordnet
پدیدآورنده:
کتابخانه: كتابخانه ايرانشناسی مجلس شورای اسلامی (تهران)
موضوع: Mints - Islamic countries
رده :
HG
,
1318
,.
Z3
17. <Die> Munzpragungen des Islams; Zeitlich und ortlich geordnet
پدیدآورنده:
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
رده :
HG1318
.
Z3
18. Handbook of medicinal mints (aromathematics): phytochemicalg and biological activites
پدیدآورنده: / James A. Duke, Stephen M. Beckstorm -Sternberg
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: ض‍راب‍خ‍ان‍ه ها -- م‍ص‍ارف درم‍ان‍ی -- دس‍ت‍ن‍ام‍ه‌ه‍ا,ض‍راب‍خ‍ان‍ه ها -- ت‍رک‍ی‍ب -- دس‍ت‍ن‍ام‍ه‌ه‍ا,رای‍ح‍ه درم‍ان‍ی -- دس‍ت‍ن‍ام‍ه‌ه‍ا
رده :
RS
۱۶۵
/
ن
۶
د
۹ ۱۳۸۰
19. Handbook of medicinal mints (aromathematics)
پدیدآورنده: / James A. Duke, Stephen M. Beckstrom-Sternberg
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع: Plants, Medicinal- chemistry,Plant Extracts- therapeutic use
20. Handbook of medicinal mints )aromathematics(: phytochemicals and biological activities
پدیدآورنده: Duke, James A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Therapeutic use -- Handbooks, manuals, etc ، Mints )Plants(,Composition -- Handbooks, manuals, etc ، Mints )Plants(,Handbooks, manuals, etc ، Aromatherapy,Handbooks, manuals, etc ، Phytochemicals
رده :
RS
165
.
M38
B43
2001
