کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتاب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 first course in mathematical logic and set theory /
پدیدآورنده: Michael L. O'Leary
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics,Set theory
رده :
QA9
Computational Logic and Set Theory
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
Computational logic and set theory
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Set theory
رده :
E-BOOK
Computational logic and set theory :
پدیدآورنده: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Set theory
رده :
QA248
.
S39
2011eb
Computational logic and set theory
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Set theory.
رده :
QA
,
248
,.
S364
,
2011
Computational logic and set theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Set theory. ;
Computational logic and set theory applying formalized logic to analysis
پدیدآورنده: Schwartz, Jacob T., Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Set theory
رده :
QA
248
.
S364
2011
Elements of mathematical logic and set theory
پدیدآورنده: Slupecki, Jerzy
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Logic , Symbolic and mathematical
رده :
BC
135
S5173
Elements of mathematical logic and set theory
پدیدآورنده: / by J. Slupecki and L. Borkowski. Translated by O. Woytasiewicz
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Logic,Symbolic and mathematical
رده :
BC
135
.
S5173
1967
Elements of mathematical logic and set theory
پدیدآورنده: / by J. Slupecki and L. Borkowski. Translated by O. Wojtasiewic
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
BC
135
.
S
5173
Elements of mathematical logic and set theory
پدیدآورنده: Slupecki, Jerzy
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
BC
135
.
S517
1967
Foundations of computing : system development with set theory and logic
پدیدآورنده: Scheurer, Thierry
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، System design,، Set theory,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
S88
.
S29
1994
Foundations of computing : system development with set theory and logic
پدیدآورنده: Scheurer, Thierry.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: System design , Set theory , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
S88
S29
1994
Foundatons of analysis , with an introduction to logic and set theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Mathamtical analysis - Foundations
رده :
QA
300
.
F68
Lectures in Logic and Set Theory
پدیدآورنده: / George Tourlakis
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع:
Lectures in logic and set theory
پدیدآورنده: Tourlakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68
2003
Lectures in logic and set theory
پدیدآورنده: George Tourlakis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68L42
Lectures in logic and set theory
پدیدآورنده: / George Tourlakis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
Lectures in logic and set theory
پدیدآورنده: / George Tourlakis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
Mathematical logic and foundations of set theory. Proceedings of an international colloquium under
پدیدآورنده: Ed. by Yehoshua Bar-Hillel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
9
.
I56
1968
Mathematical logic and foundations of set theory. Proceedings of an international colloquium under
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, symbolic and mathematical-- Congresses
رده :
QA
9
.
I54
1968
Notes on logic and set theory /
پدیدآورنده : P. T. Johnstone
موضوع : Logic, Symbolic and mathematical,set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
Notes on logic and set theory
پدیدآورنده: Johnstone, P. T.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Logic, Symbolic and mathematical.,، Set theory
رده :
QA
9
.
J6N6
Notes on logic and set theory
پدیدآورنده: P.T. Johnstone
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
J64
1987
Set Theory and Logic
پدیدآورنده: / by A,A.Fraekel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع:
رده :
517
F810
Set Theory and its Logic
پدیدآورنده: Quine, Willard Van Orman
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
QA
150
.
Q5
S4
1969
Set theory and its logic
پدیدآورنده: Quine, W. V.)Willard Van Orman(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
Q5
1969
Set theory and its logic.
پدیدآورنده: Quinet
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Axiomatic set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
Q5
1969
Set theory and its logic
پدیدآورنده: Willard Van Orman Quine
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
Q56S4
Set theory and logic
پدیدآورنده: Frankel, Abraham Adolf
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
F765
Set theory and logic
پدیدآورنده : Fraenkel, Abraham Adolf
موضوع : ، Set theory,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
Set theory and logic
پدیدآورنده: / by Abraham A. Fraenkel
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
F765
Set theory and logic
پدیدآورنده : Stoll, Robert Roth.
موضوع : ، Set theory,، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
Set theory and logic
پدیدآورنده: / by Abraham A. Fraenkel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Set theory,Logic, symbolic and mathematical
رده :
512
.
817
Fr-S
Set theory and logic
پدیدآورنده: / by Robert R. Stoll
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Set theory,Logic, Symbolic and mathematical
رده :
QA248
.
S7985
Set theory, logic and their limitations
پدیدآورنده: Moshe Machover
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
M22S4
Trading ontology for ideology :the interplay of logic, set theory, and semantics in Quine's philosophy
پدیدآورنده: Decock, Lieven.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
B
945
.
Q54
D4
2002
