کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابCourse in model theory. an introduction to contemporary mathematical logic
پدیدآورنده: Bruno Poizat; Translated by Moses Klein
کتابخانه: کتابخانه مرکزی و مرکز اسناد و اطلاع رسانی دانشگاه هرمزگان (هرمزگان)
موضوع: ، Model theory
رده :
QA
9
.
7
.
P65C68
2000
First Course in Mathematical Logic and Set Theory
پدیدآورنده: \ Michael L. O'Leary
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
A course in mathematical logic
پدیدآورنده: Bell, John Lane
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
B395
A course in mathematical logic
پدیدآورنده: by J. L. Bell and M. Machover
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
B44
1977
A course in mathematical logic
پدیدآورنده: / Y. I. Manin
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
M296
A course in mathematical logic
پدیدآورنده: / by J. L. Bell and M. Machover
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
B3953
A course in mathematical logic
پدیدآورنده: / Y. I. Manin
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
M2961
A course in mathematical logic
پدیدآورنده: / YU. I. Manin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic, symbolic and mathematical
رده :
511
.
3
M278
A course in mathematical logic
پدیدآورنده: Manin, IU. I.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
M296
A course in mathematical logic
پدیدآورنده: Manin, IU. I.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
M296
A course in mathematical logic
پدیدآورنده: Yu.I. Manin; Translated from the Russian by Neal Koblitz
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
M273
course in mathematical logic
پدیدآورنده: / by J. L. Bell and M. Machover
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع:
رده :
QA9
،.
B46
1977
A course in mathematical logic
پدیدآورنده : / Yu. I. Manin
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
A course in mathematical logic by J.L. Bell and M. Machover
پدیدآورنده: Bell
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
B3953
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
A course in mathematical logic for mathematicians
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ; Einf?hrung. ; swd. ; Mathematische Logik. ; swd. ;
A course in mathematical logic for mathematicians
پدیدآورنده: / Yu. I. Manin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
,.
M296
,
2010
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
,
A course in mathematical logic for mathematicians
پدیدآورنده: / Yu. I. Manin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
M29613
2010
course in model theory:an introduction to contemporary mathematical logic
پدیدآورنده: Bruno Poizat
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Model theory
رده :
QA
9
.
7
.
P67
2000
A course in model theory : an introduction to contemporary mathematical logic
پدیدآورنده: Bruno Poizat; translated by Moses Klein
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
P63
course in model theory:an introduction to contemporary mathematical logic
پدیدآورنده: Poizat, Bruno
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
P65
2000
course in model theory:an introduction to contemporary mathematical logic
پدیدآورنده: Bruno Poizat
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Model theory
رده :
QA
9
.
7
.
P67
2000
A first course in mathematical logic and set theory /
پدیدآورنده: Michael L. O'Leary
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics,Set theory
رده :
QA9
Course in mathematical logic
پدیدآورنده: Bell, John Lane
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
511
B433c
Course in mathematical logic
پدیدآورنده: Manin, Yu I
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
511
M278c
First Course in mathematical logic
پدیدآورنده: / Patrick Suppes and Shirley Hill
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Logic, symbolic and mathematical
رده :
BC135
.
S83
First course in mathematical logic
پدیدآورنده: Suppes, Patrick Colonel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical
رده :
BC
135
.
S83
The incompleteness phenomenon : a new course in mathematical logic
پدیدآورنده: Martin Goldstern, Haim Judah
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Incompleteness theorems
رده :
QA
9
.
54
.
G63
<A> course in mathematical logic
پدیدآورنده: Manin, IU. I
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
9
.
M296
<A> course in mathematical logic
پدیدآورنده: Bell, John Lane
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
9
.
B3953
