کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابA Concise Introduction to Mathematical Logic
پدیدآورنده: by Wolfgang Rautenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
A Concise Introduction to Mathematical Logic
پدیدآورنده: / Wolfgang Rautenberg
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
A Concise introduction to mathematical logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Logic, Symbolic and mathematical
رده :
511
.
3
R249c
2
Ed
.
Course in model theory. an introduction to contemporary mathematical logic
پدیدآورنده: Bruno Poizat; Translated by Moses Klein
کتابخانه: کتابخانه مرکزی و مرکز اسناد و اطلاع رسانی دانشگاه هرمزگان (هرمزگان)
موضوع: ، Model theory
رده :
QA
9
.
7
.
P65C68
2000
A Course on Mathematical Logic
پدیدآورنده: Shashi Mohan Srivastava
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: LINGUISTICS AND LANGUAGE
A Course on mathematical logic
پدیدآورنده: Srivastava, S. M. )Sashi Mohan(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
S65
2008
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
,
Mathematical Introduction to Logic
پدیدآورنده: \ Herbert B. Enderton
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
A Mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
511
E56m
A Mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
511
E56m
A Mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
511
E56m
A Mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
511
E56m
A Mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
511
E56m
A Mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
511
E56m
A Mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
511
E56m
A Mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
511
E56m
A Precis of Mathematical Logic
پدیدآورنده: by J.M. Bocheński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
A concise introduction to mathematical logic
پدیدآورنده: / Wolfgang Rautenberg
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Logic, Symbolic and mathematical,Electronic books. , local
رده :
E-BOOK
A concise introduction to mathematical logic
پدیدآورنده: Rautenberg, Wolfgang
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
R26513
2010
A concise introduction to mathematical logic
پدیدآورنده: / Wolfgang Rautenberg
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
,.
R26513
,
2006
A concise introduction to mathematical logic
پدیدآورنده: Rautenberg, Wolfgang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
R26513
2010
A concise introduction to mathematical logic
پدیدآورنده: / Wolfgang Rautenberg
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
R26513
2006
A concise introduction to mathematical logic
پدیدآورنده: Wolfgang Rautenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
R28E413
2010
A concise introduction to mathematical logic
پدیدآورنده: Wolfgang Rautenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
R28E413
2006
A concise introduction to mathematical logic
پدیدآورنده: / Wolfgang Rautenberg.,Rautenberg, Wolfgang.
کتابخانه: کتابخانه و مرکز اسناد دانشکدگان هنرهای زیبا (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical.
رده :
QA
9
.
R26513
2006
A concise introduction to mathematical logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
A concise introduction to mathematical logic
پدیدآورنده: / Wolfgang Rautenberg
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
R26513
2006
A concise introduction to mathematical logic
پدیدآورنده: Rautenberg, Wolfgang
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
9
.
R265
A concise introduction to mathematical logic
پدیدآورنده: / Wolfgang Rautenberg,Rautenberg, Wolfgang
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
R26513
2010
A concise introduction to mathematical logic
پدیدآورنده: Rautenberg, Wolfgang.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
R26513
2006
A concise introduction to mathematical logic
پدیدآورنده: / Wolfgang Rautenberg
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
R26513
2006
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 course on mathematical logic
پدیدآورنده: Shashi Mohan Srivastava
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem
رده :
QA
9
.
S684C6
2013
A course on mathematical logic
پدیدآورنده: S.M. Srivastava
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
S684C6
A course on mathematical logic
پدیدآورنده: / S. M. Srivastava,Srivastava
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical,a03
رده :
QA
9
.
S65
2008
A course on mathematical logic
پدیدآورنده: / Shashi Mohan Srivastava
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
A course on mathematical logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
A course on mathematical logic
پدیدآورنده: Shashi Mohan Srivastava
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
S65
2013
A first course in mathematical logic and set theory /
پدیدآورنده: Michael L. O'Leary
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics,Set theory
رده :
QA9
A friendly introduction to mathematical logic
پدیدآورنده: Leary, Christopher C.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Computer logic,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
L43
2000
A friendly introduction to mathematical logic /
پدیدآورنده: Christopher C. Leary
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
L63
L43
2000
A friendly introduction to mathematical logic
پدیدآورنده: Leary, Christopher C.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computer logic ► Logic, Symbolic and mathematical
رده :
005
L438f
A friendly introduction to mathematical logic
پدیدآورنده: / Christopher C. Leary
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق کامپیوتری,Logic, Symbolic and mathematical
رده :
QA
۷۶
/
۹
/
م
۸
ل
۹ ۱۳۷۹
A friendly introduotion to mathematical Logic
پدیدآورنده: / Christopher C. Leary
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق کامپیوتری,منطق ریاضی
رده :
QA
۷۶
/
۹
/
ل
۹
ف
۴ ۱۳۷۹
mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
A mathematical introduction to logic
پدیدآورنده: / [by] Herbert B. Enderton,Enderton
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
E54
mathematical introduction to logic
پدیدآورنده: ]by[ Herbert B. Enderton
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
E54
1972
mathematical introduction to logic
پدیدآورنده: ]by[ Herbert B. Enderton
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
E54
1972
A mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
E54
2001
A mathematical introduction to logic
پدیدآورنده: / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
E54
2001
A mathematical introduction to logic
پدیدآورنده: / Herbert B. Enderton
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
E54
1972
A mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Logic,Symbolic and mathematical
رده :
QA
9
.
E54
A mathematical introduction to logic
پدیدآورنده: Herbert B. Enderton
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
E59
A mathematical introduction to logic
پدیدآورنده: Herbert B. Enderton
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
E59
2001
A mathematical introduction to logic
پدیدآورنده: / Herbert B. Enderton
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
,.
E54
,
2001
A mathematical introduction to logic
پدیدآورنده: / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Logic, Symbolic and mathematical
رده :
E-BOOK
A mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
E5
A mathematical introduction to logic
پدیدآورنده: /Herbert B. Enderton.,Enderton, Herbert B.
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
.
E54
2001
A mathematical introduction to logic
پدیدآورنده: / (by) Herbert B. Enderton
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
E54
1972
A mathematical introduction to logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
A profile of mathematical logic
پدیدآورنده: Delong, Howard, 6391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Logic, Symbolic and fmathematical
رده :
QA
9
.
D37
A profile of mathematical logic.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Mathematics.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica Matematica (Textos Introdutorios),Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Mathematische Logik,Mathematische Logik.
رده :
QA9
.
D37
A profile of mathematical logic
پدیدآورنده:
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
D37
A profile of mathematical logic
پدیدآورنده: DeLong, Howard
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
D37
A profile of mathematical logic /
پدیدآورنده: Howard DeLong.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
.
D37
2004
#A tour through mathematical logic
پدیدآورنده: Wolf, Robert S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Algebra, Abstract
رده :
QA
9
.
W7483
2005
A tour through mathematical logic
پدیدآورنده: Robert S. Wolf
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Algebra, Abstract
رده :
QA
9
.
W65T6
A tour through mathematical logic
پدیدآورنده: Wolf, Robert S
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical ► Algebra, Abstract
رده :
9
.
W748
A tour through mathematical logic /
پدیدآورنده: Robert S. Wolf
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra, Abstract,Logic, Symbolic and mathematical
رده :
QA9
.
W64
2005
A tour through mathematical logic
پدیدآورنده: Robert S. Wolf
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه زنجان (زنجان)
موضوع: ، Logic, Symbolic and mathematical,، Algebra, Abstract
رده :
QA
9
.
W74
2005
COURSE IN MATHEMATICAL LOGIC ( anbari )
پدیدآورنده: M. MACHOVER
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع:
رده :
511
,.
5
,
BEC
Advances in Mathematical Logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع:
Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
پدیدآورنده: Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L36B7
1996
1940-Adventure of Reason : Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900
پدیدآورنده: Mancosu, Paolo
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: HISTORY,Religion and Philosophy
Algebra, Mathematical logic, number theory, topology
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Algebra ► Logic, Symbolic and mathematical ► Numbers, theory of ► Topology
رده :
512
A394
Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده: edited by J. N. Crossley
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
3
.
L28
Vol
.
450
Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
3
.
L28
no
.
450
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده: edited by J. N. Crossley
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
1
.
L4
v
.
450
Algebra and logic: papers from the 1974 summer research institute of the Australian mathematical-Society, Monash University Australia
پدیدآورنده: edited by J.N.Crossley
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Groups, Theory of,Congresses ، Commutative rings
رده :
QA
3
.
L28
no
.
450
Algebra, mathematical logic, number theory, topology
پدیدآورنده: editorial board of the anniversary collection, I.M. Vinogradov, editor-in-chief ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
رده :
QA
1
.
A413
v
.
168
