کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتاب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 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 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
پدیدآورنده: 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.,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 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
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
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 course in mathematical logic
پدیدآورنده : by J. L. Bell and M. Machover,Title
موضوع : Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
A course in mathematical logic
پدیدآورنده: Bell, John Lane
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
B395
A course in mathematical logic
پدیدآورنده: / Y. I. Manin
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
M296
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
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. ;
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
,.
M296
,
2010
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
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
پدیدآورنده: / S. M. Srivastava,Srivastava
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical,a03
رده :
QA
9
.
S65
2008
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 course on mathematical logic
پدیدآورنده: / Shashi Mohan Srivastava
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
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
پدیدآورنده : / Christopher C. Leary
موضوع : منطق کامپیوتری,منطق ریاضی
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
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
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
پدیدآورنده: / Herbert B. Enderton
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
,.
E54
,
2001
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
رده :
E-BOOK
A mathematical introduction to logic
پدیدآورنده: Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
E5
A mathematical introduction to logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
A mathematical introduction to logic
پدیدآورنده: /Herbert B. Enderton.,Enderton, Herbert B.
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
.
E54
2001
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
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
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
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع:
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
Algebra, mathematical logic, number theory, topology, Algebra, matematicheskaia logika, teoriia chisel, topologiia
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
رده :
QA
1
.
A413
1986
issue
3
,
etc
Algebraic methods of mathematical logic
پدیدآورنده: Rieger, Ladislav
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
R6413
Algebraic methods of mathematical logic
پدیدآورنده: RIEGER,LADISLAV
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: LOGIC,SYMBOLIC & MATHEMATICAL , ALGEBRA,BOOLEAN
رده :
QA
9
.
R6413
An Investigation of The Laws of Thought: ON WHICH ARE FOUNDED, THE MATHEMATICAL THEORIES OF LOGIC AND PROBABILITIES
پدیدآورنده: Boole, George 5181 - 4681
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
BC
135
.
B6
I5
1958
An algebraic introduction to mathematical logic
پدیدآورنده : Barnes, Donald W.
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
An introduction to mathematical logic
پدیدآورنده: ROBINSON,GERSON B
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
9
.
R72
An introduction to mathematical logic
پدیدآورنده: Richard E. Hodel,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic, Symbolic and mathematical
رده :
QA
.
H547
9
1995
An introduction to mathematical logic
پدیدآورنده: / [by] Gerson B. Robison
کتابخانه: کتابخانه دانشکده حقوق و علوم سیاسی (دانشگاه تهران) (تهران)
موضوع: Logic, Symolic and mathematical
رده :
QA9
.
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, Symbolic and mathematical
رده :
QA
9
.
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
پدیدآورنده: 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, P. B.)Peter Bruce(,7391-, Peter B. Andrews
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
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
An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
پدیدآورنده: Boole, George
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities
رده :
BC
135
.
B7
1854a
An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
پدیدآورنده: / George Boole
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع:
رده :
BC135
.
B61
An investigation of the laws of thought; on which are founded the mathematical theories of logic and probabilities
پدیدآورنده: Boole
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Logic, symbolic and mathematical,Thought and thinking,Probabilities
رده :
BC
135
.
B6
An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities
پدیدآورنده: Boole, George
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities
رده :
BC
135
.
B7
1958
Aspects of mathematical logic
پدیدآورنده: / edited by E. Casari
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Logic, Symbolic and mathematical, Congresses,Mathematics, Philosophy, Congresses
رده :
QA9
.
A1C56
2010
Bibliography of mathematical logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Logic,Symbolic and mathematical-Bibliography
رده :
016
.
5113
R
CAMBRIDGE SUMMER SCHOOL IN MATHEMATICAL LOGIC
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع:
رده :
QA
,
3
,
L28
CONFERENCE IN MATHEMATICAL LOGIC -LONDON '70
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع:
رده :
QA
,
3
,
L28
Cambridge Summer School in Mathematical Logic; ]papers[
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
337
Cambridge Summer School in Mathematical Logic; ]papers[
پدیدآورنده: Canbridge Summer School in Mathematical Logic
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
337
Cambridge Summer School in Mathematical Logic [papers], hled in Cambridge/England, August, 1-21, 1971
پدیدآورنده: / edited by A. R. D. Mathias, H. Rogers
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical -- Congresses
رده :
QA
9
.
C3
1971
Classification theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده: J.T. Badwin )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Model theory - Congresses
رده :
QA
3
.
L28
no
.
1292
Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده: U.S.-Israel Workshop on Model Theory in Mathematical Logic, )5891, Chicago, Ill.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Model theory-- Congresses
رده :
QA
3
.
L28
no
.
1292
