21. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
المؤلف: edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie
المکتبة: (طهران)
موضوع: Congresses ، Model theory
رده :
QA
9
.
7
.
C6
1979
22. Model theory of groups and automorphism groups : Blaubeuren, August 1995
المؤلف: edited by David M. Evans
المکتبة: (طهران)
موضوع: Congresses ، Model theory,Congresses ، Group theory
رده :
QA
9
.
7
.
M63
23. Models and sets: Proceedings of the Logic Colloquom held in Aachen, July 18-23, 1983.
المؤلف: Edited by F.H. Muller and M.M. Richter
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Model bibliographies,Congresses` ، Set theory
رده :
QA
3
.
L28
no
.
1103-1104
24. Models and sets; Proceedings of the logic calloquium held in Aachen, July 18-23. 1983 Part 1
المؤلف: edited by G.H. Muller and M.M. Richter
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Model theory,Congresses ، Set theory
رده :
QA
1
.
L4
v
.
1103
25. Models, logics, and higher-dimensional categories : a tribute to the work of Mihaly Makkai
المؤلف: Bradd Hart ... ]et al.[, editors
المکتبة: (طهران)
موضوع: Congresses ، Model theory,Congresses ، Categories )Mathematics(
رده :
QA
9
.
7
.
M67
26. #Non-classical logics, model theory, and computability
المؤلف: #edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع: Nonclassical mathematical logic -- Congresses ،Model theory -- Congresses ،Computable functions -- Congresses
رده :
#
QA
،#.
L37
،#
1976
27. Non-classical logics, model theory, and computability
المؤلف: / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. -
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Nonclassical mathematical logic--Congresses,Model theory--Congresses,Computable functions--Congresses
رده :
QA
,
9
.
4
,.
L37
,
1976
QA
,
9
.
4
,
L37
,
1976
28. Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
المؤلف: edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Nonclassical mathematical logic,Congresses ، Model theory,Congresses ، Computable functions
رده :
QA
9
.
7
.
L3
29. Perturbative and nonperturbative aspects of quantum field theory : proceedings of the 35th Internationale Universitatswochen fur Kern- und Teilchenphysik, Schladming, Austria, March 2-9, 1996
المؤلف: H. Latal, W. Schweiger )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Standard model )Nuclear physics(,Congresses ، Quantum field theory,Congresses ، Nuclear reactions,Congresses ، Quantum chromodynamics,Congresses ، Perturbation )Quantum dynamics(
رده :
QC
3
.
L28
Vol
.
479
30. Physics in D >= 4
المؤلف: / editors, John Terning, Carlos E.M. Wagner, Dieter Zeppenfeld
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Particles (Nuclear physics) , Congresses,Standard model (Nuclear physics) , Congresses,Field theory (Physics) , Congresses,Electronic books. , local
رده :
E-BOOK
31. Proceedings of the International Workshop on Quantum Effects in the MSSM: Universitat Autonoma de Barcelona, Catalonia, Spain, 9-13 September 1997
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Supersymmetry,Congresses ، Quantum theory,Congresses ، Standard model )Nuclear physics(
رده :
QC
174
.
17
.
S9
.
I58
1997
32. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
المؤلف: edited by G. H. Muller and M. M. Richter
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
33. Proceedings of the Workshop on Effective Field Theories of the Standard Model, Dobogkio, Hungary, August, 22-26, 1991
المؤلف: edited by Ulf-G. MeiBner
المکتبة: (طهران)
موضوع: Congresses ، Standard model )Nuclear physics(,Congresses ، Field theory )Physics(
رده :
QC
794
.
6
.
S75W67
1991
34. Proceedings of the Workshop on Effective Field Theories of the Standard Model: Dobogbokno, Hungary, August, 22-26, 1991
پدیدآورنده : Workshop on Effective Field Theories of the Standard Model )1991 : Dobogعokکo, Hungary(
موضوع : ، Standard model )Nuclear physics(- Congresses,، Field theory )Physics(- Congresses
۴ نسخه از این کتاب در ۱ کتابخانه موجود است.
35. Set theory and hierarchy theory V ... 1976
المؤلف: edited by A. Lachlan, M. Srebrny, and A. Zarach
المکتبة: (طهران)
موضوع: Congresses ، Set theory,Congresses ، Recursion theory -- Hierarchies,Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
619
36. Set theory and hierarchy theory V:Bierutowice, Ploand, 1976
المؤلف: Conference on set Theory and Hierachy Theory, 3d, Bierutowice, Poland
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Set theory,Hirarchies -Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
619
37. Set theory and hierarchy theory V : Bierutowice, Poland, 1976
المؤلف: edited by A. Lachlan, M. Srebrny, A. Zarach
المکتبة: (طهران)
موضوع: Congresses ، Set theory,Hierarchies -- Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
248
.
C6
1976
38. Set theory and hierarchy theory V: Bierutowice, Poland, 1976
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Set theory,Hierarchies Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
619
39. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : ]proceedings[
المؤلف: edited by W. Marek, M. Srebrny, A. Zarach
المکتبة: (طهران)
موضوع: Bibliography ، Mostowski, Andrzej, 3191-5791,Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions
رده :
QA
248
.
C6
1975
40. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : )proceedings(
المؤلف: edited by W. Marek, M. Srebrny, and A. Zarach
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej
رده :
QA
248
.
C6
