1.
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Particles )Naclear physics(- Congresses,، Phenomonological theory )physics(- Congresses,، Standard model )Nuclear physics(- Congresses,، Quantum chromodynamics- Congresses,، Hadrons- Congresses
رده :
QC
793
H5
1994
2. #<A> course in model theory
پدیدآورنده : #Bruno Poizat , translated by Moses Klein
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Model theory
رده :
#
QA
،#.
P65
3. A course in model theory /
پدیدآورنده : Katrin Tent, Martin Ziegler
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Model theory,Model theory, Problems, exercises, etc
4. A course in model theory : an introduction to contemporary mathematical logic
پدیدآورنده : Poizat, Bruno
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
P63
5. A course in model theory: an introduction to contemporary mathematical logic
پدیدآورنده : Poizat, Bruno
موضوع : ، Model theory
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. A disequilibrium model of demand for factors of production
پدیدآورنده : ]by[ M. Ishaq Nadiri and Sherwin Rosen
کتابخانه: کتابخانه دانشکده علوم اجتماعی دانشگاه تهران (تهران)
موضوع : United States- Economic conditions- Mathematical model,United States- Economic conditions- 194,Manufacturing industries- United States,Production functions )Economic theory(,Factors of production
رده :
HC
106
.
5
.
N218
1974
7. A guide to classical and modern model theory
پدیدآورنده : / Annalisa Marcja, Carlo Toffalori
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Model theory
رده :
QA9
.
7
.
M364
2003
8. A guide to classical and modern model theory
پدیدآورنده : / by Annalisa Marcja, Carlo Toffalori
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : Model theory
رده :
QA
۹
/
۷
/
م
۲
گ
۲ ۱۳۸۲
9. A guide to classical and modern model theory
پدیدآورنده : / Annalisa Marcja, Carlo Toffalori
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Model theory
رده :
QA9
.
7
.
M364
2003
10. A shorter model theory
پدیدآورنده : Hodges, Wilfrid, 1491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
H62
11. Accessible categories: the foundations of categorical model theory
پدیدآورنده : Makkai, Michael
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M35
1989
12. Accessible categories : the foundations of categorical model theory
پدیدآورنده : Makkai, Mihaly, 9391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M25
13. Algebraic computability and enumeration models : recursion theory and descriptive complexity
پدیدآورنده : Nourani, Cyrus F.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
14. Algebraic systems
پدیدآورنده : )by( A. I. Mal'cev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
رده :
QA
.
M3413
162
15. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3513
1973
16. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
G7
v
.
192
17. Algebraic systems
پدیدآورنده : Mal'tsev, Anatolii Ivanovich, 9091-7691
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3413
1973
18. An integrated model of the influence of personal psychological traits and cognitive beliefs on customer satisfaction and continuance intentions in relation to Internet banking usage within the Saudi Arabian context
پدیدآورنده : Alghamdi, Ahmed Dirwish G.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : information systems, expectation confirmation theory, culture, expectation confirmation model of information systems continuance, the unified theory of acceptance and use of technology, technology readiness, technology acceptance models, technology acceptance model, theory of planned behaviour, self-service technologies, business-to-customer Internet banking, the kingdom of Saudi Arabia.
19. An introduction to independence for analysts
پدیدآورنده : Dales, H. G.)Harold G.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
20. An introduction to independence for analysts
پدیدآورنده : Dales, H. G.)Harold G.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
