کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتاب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
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
رده :
E56m
A Mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
E56m
A Mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
E56m
A Mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
E56m
A Mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
E56m
A Mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
E56m
A Mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
E56m
A Mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
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
پدیدآورنده: / 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
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 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
رده :
L438f
A friendly introduction to mathematical logic
پدیدآورنده: / Christopher C. Leary
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق کامپیوتری,Logic, Symbolic and mathematical
رده :
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. ;
An algebraic introduction to mathematical logic
پدیدآورنده : Barnes, Donald W.
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
An algebraic introduction to mathematical logic
پدیدآورنده: / D. W. Barnes, J. M. Mack
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Logic, Symbolic and mathematical,Algebraic logic
رده :
QA9
.
B27
An introduction to mathematical logic
پدیدآورنده: ROBINSON,GERSON B
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
9
.
R72
An introduction to mathematical logic
پدیدآورنده: / Richard E. Hodel
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
H547
1995
An introduction to mathematical logic
پدیدآورنده: / [by] Gerson B. Robison
کتابخانه: دانشکده اقتصاد (دانشگاه تهران) (تهران)
موضوع: Logic, symbolic and mathematical
رده :
QA
9
.
R72
An introduction to mathematical logic
پدیدآورنده: / (by) Gerson B. Robison
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
R72
An introduction to mathematical logic
پدیدآورنده: / [by] Gerson B. Robison
کتابخانه: کتابخانه دانشکده حقوق و علوم سیاسی (دانشگاه تهران) (تهران)
موضوع: Logic, Symolic and mathematical
رده :
QA9
.
R72
An introduction to mathematical logic
پدیدآورنده: / Richard E. Hodel.,Hodel, Richard E.
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical.
An introduction to mathematical logic and type theory :
پدیدآورنده: by Peter B. Andrews.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Type theory.
رده :
QA9
.
B974
2011
An introduction to mathematical logic and type theory. to truth through proof
پدیدآورنده: / Peter B. Andrews
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Logic, Symbolic and mathematical,Type theory
رده :
QA9
.
A638
An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده: Andrews, P. B. )Peter Bruce(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
2002
An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
An introduction to mathematical logic & type theory:to truth
پدیدآورنده: ANDREWS,PETER BRUCE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: LOGIC,SYMBOLIC & MATHEMATICAL , TYPE THEORY
رده :
QA
9
.
A638
Completeness, Compactness, and Undecid ablility: An introduction to mathematical Logic
پدیدآورنده: / Alfred B.Manaster
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Symblic(Mathematical) Logic
رده :
511
.
3
M267
Completeness, compactness, and undecidability: an introduction to mathematical logic
پدیدآورنده : Manaster, Alfred B.
موضوع : ، Logic, Symbolic and mathematical,، Predicate calculus
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
Einfeuhrung in die mathematische Logik.English,A concise introduction to mathematical logic
پدیدآورنده : Wolfgang Rautenberg
موضوع : Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
INTRODUCTION TO MATHEMATICAL LOGIC ( anbari )
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع:
رده :
511
,
5
,
MEI
Introduction to Mathematical Logic
پدیدآورنده: \ By Alonzo Church
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع:
Introduction to Mathematical Logic
پدیدآورنده: / Jerome Malitz
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Logic, Symbolic and Mathematical
رده :
QA9
.
M265
Introduction to Mathematical logic
پدیدآورنده: / Elliott Mendelson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Logic,symbolic and mathematical
رده :
511
.
3
M537i
1987
Introduction to elementary mathematical logic
پدیدآورنده: Stoliar, A. A.)Abram Aronovich(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
BC
135
.
S7613
Introduction to elementary mathematical logic
پدیدآورنده: Abram Aronovich Stolyar; translated by Technica, Inc, translation edited by Elliot Mendelson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
BC
135
.
S86E413
Introduction to mathematical logic.
پدیدآورنده: Church, Alonzo
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
BC
135
.
C42
Introduction to mathematical logic
پدیدآورنده: Mendelson, Elliott
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Logic, Symbolic and mathematical , Logic, Symbolic and mathematical - Problems, exersises, etc
رده :
QA
9
.
M4
1997
Introduction to mathematical logic
پدیدآورنده: MENDELSON,ELLIOTT
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
9
.
M4
1987
Introduction to mathematical logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
510
.
01
Me-I
Introduction to mathematical logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
164
Ch-I
Introduction to mathematical logic
پدیدآورنده:
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
M4
Introduction to mathematical logic
پدیدآورنده:
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
BC
135
.
C42
Introduction to mathematical logic
پدیدآورنده: / Translated from German by Diana Schmidt
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
H
4413
Introduction to mathematical logic
پدیدآورنده: Mendelson, Elliott
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
M537i
Introduction to mathematical logic
پدیدآورنده: Mendelson, Elliott
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
M537i
Introduction to mathematical logic
پدیدآورنده: Mendelson, Elliott
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
M537i
Introduction to mathematical logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
M4
Introduction to mathematical logic
پدیدآورنده: Church, Alonzo
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical
رده :
BC
135
.
C42
Introduction to mathematical logic
پدیدآورنده: Mendelson, Elliott
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA9
.
M4
2001
Introduction to mathematical logic
پدیدآورنده : Mendelson, Elliott.
موضوع : ، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
Introduction to mathematical logic
پدیدآورنده: / Elliott Mendelson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
.
M4
1987
Introduction to mathematical logic /
پدیدآورنده: Elliott Mendelson, Queens College, Flushing, New York, USA.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
.
M4
2015
Introduction to mathematical logic
پدیدآورنده: elliott mendelson
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: mathematical logic
رده :
QA
9
.
M4
,
I5
1997
Introduction to mathematical logic
پدیدآورنده: Hermes, Hans
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
H44
1973
Introduction to mathematical logic
پدیدآورنده: / [by] Jerome Malitz
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع:
رده :
QA9
،.
M265
Introduction to mathematical logic
پدیدآورنده: Mendelson, Elliott.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
M4
Introduction to mathematical logic
پدیدآورنده: / Hans Hermes; translated from German by Diana Schmidt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic, symbolic and mathematical
رده :
511
.
3
H553
Introduction to mathematical logic
پدیدآورنده: by Alonzo Church
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
BC
135
.
C47I5
1956
Introduction to mathematical logic
پدیدآورنده: Elliott Mendelson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
M46I5
2010
Introduction to mathematical logic
پدیدآورنده: Hermans, Hans
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, symbolic and mathematical
رده :
H551i
Introduction to mathematical logic
پدیدآورنده: Mendelson, Elliott
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
M537i
Introduction to mathematical logic
پدیدآورنده: Mendelson, Elliott
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
M537i
