کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتاب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
.
<A> Course in model theory. an introduction to contemporary mathematical logic
پدیدآورنده: Bruno Poizat; Translated by Moses Klein
کتابخانه: کتابخانه مرکزی و مرکز اسناد و اطلاع رسانی دانشگاه هرمزگان (هرمزگان)
موضوع: ، Model theory
رده :
QA
9
.
7
.
P65C68
2000
<A> 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 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 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
<A> course in model theory:an introduction to contemporary mathematical logic
پدیدآورنده: Poizat, Bruno
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
P65
2000
<A> course in model theory:an introduction to contemporary mathematical logic
پدیدآورنده: Bruno Poizat
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Model theory
رده :
QA
9
.
7
.
P67
2000
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> 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
<A> mathematical introduction to logic
پدیدآورنده: ]by[ Herbert B. Enderton
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
E54
1972
<A> 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. ;
Einfeuhrung in die mathematische Logik.English,A concise introduction to mathematical logic
پدیدآورنده : Wolfgang Rautenberg
موضوع : Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
آشنا‌یی با منطق ریاضی A mathematical introduction to logic
پدیدآورنده: اندرتون، هربرت
کتابخانه: کتابخانه، مرکز اسناد و مدارک علمی پژوهشگاه حوزه و دانشگاه (قم)
موضوع: منطق ریاضی
رده :
QA
۹
/
الف
۸
/
آ
۵ ۱۳۶۶
آشنائی با منطق ریاضی,A mathematical introduction to logic
پدیدآورنده: هربرت اندرتون ,,اندرتون. هربرت
کتابخانه: كتابخانه مركزی و مركز اسناد شهيد مطهری دانشگاه رازى (کرمانشاه)
موضوع: منطق ریاضی
رده :
QA
9
/
الف
8
آ
5
