101. A course in mathematical logic
المؤلف: Manin, IUrii Ivanovich, 7391-
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
M273
102. A course in mathematical logic
المؤلف: Manin, IU. I.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
M296
103. course in mathematical logic
المؤلف: / by J. L. Bell and M. Machover
المکتبة: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع:
رده :
QA9
،.
B46
1977
104. A course in mathematical logic
پدیدآورنده : / Yu. I. Manin
موضوع :
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
105. A course in mathematical logic by J.L. Bell and M. Machover
المؤلف: Bell
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
B3953
106. A course in mathematical logic for mathematicians
المؤلف: / Yu. I. Manin
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
,.
M296
,
2010
107. A course in mathematical logic for mathematicians
المؤلف: Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
المکتبة: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع: Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
رده :
511
,.
3
,.
M296
,
2010
108. A course in mathematical logic for mathematicians
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ; Einf?hrung. ; swd. ; Mathematische Logik. ; swd. ;
109. course in mathematical logic for mathematicians
المؤلف: \ Yu. I. Manin; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
110. A course in mathematical logic for mathematicians
المؤلف: / Yu. I. Manin
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
M29613
2010
111. course in model theory:an introduction to contemporary mathematical logic
المؤلف: Bruno Poizat
المکتبة: (کرمان)
موضوع: Model theory
رده :
QA
9
.
7
.
P67
2000
112. A course in model theory : an introduction to contemporary mathematical logic
المؤلف: Poizat, Bruno
المکتبة: (طهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
P63
113. course in model theory:an introduction to contemporary mathematical logic
المؤلف: Poizat, Bruno
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
P65
2000
114. course in model theory:an introduction to contemporary mathematical logic
المؤلف: Bruno Poizat
المکتبة: (کرمان)
موضوع: Model theory
رده :
QA
9
.
7
.
P67
2000
115. A course on mathematical logic
المؤلف: Srivastava, Shashi Mohan
المکتبة: (طهران)
موضوع: Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem
رده :
QA
9
.
S684C6
2013
116. A course on mathematical logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
117. A course on mathematical logic
المؤلف: / Shashi Mohan Srivastava
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
118. A course on mathematical logic
المؤلف: Srivastava, Shashi Mohan
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
S684C6
119. A course on mathematical logic
المؤلف: Shashi Mohan Srivastava
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
S65
2013
120. dictionary of philosophical logic
المؤلف: / Roy T. Cook
المکتبة: کتابخانه مرکز روانپزشکی رازی (طهران)
موضوع: Logic--Dictionaries
رده :
BC9
.
C66
2009
