عنوان
پدید آورنده
موضوع
رده
QA248 .T37 1987
QA248
.
T37
1987
کتابخانه
محل استقرار
شابک
شابک
0821810413
شابک
9780821810415
شماره کتابشناسی ملی
شماره
b704749
عنوان و نام پديدآور
عنوان اصلي
A formalization of set theory without variables /
نام عام مواد
[Book]
نام نخستين پديدآور
by Alfred Tarski and Steven Givant.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Providence, R.I. :
نام ناشر، پخش کننده و غيره
American Mathematical Society,
تاریخ نشرو بخش و غیره
©1987.
مشخصات ظاهری
نام خاص و کميت اثر
xxi, 318 pages :
ساير جزييات
illustrations ;
ابعاد
26 cm.
فروست
عنوان فروست
Colloquium publications,
مشخصه جلد
vol. 41
شاپا ي ISSN فروست
0065-9258 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (pages 273-282), and indexes.
یادداشتهای مربوط به مندرجات
متن يادداشت
The formalism L of predicate logic -- The formalism L+, a definitional extension of L -- The formalism L+ without variables and the problem of its equipollence with L -- The relative equipollence of L and L+, and the formalization of set theory in L× -- Some improvements of the equipollence results -- Implications of the main results for semantic and axiomatic foundations of set theory -- Extension of results to arbitrary formalisms of predicate logic, and applications to the formalization of the arithmetics of natural and real numbers -- Applications to relation algebras and to varieties of algebras.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with first-order logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to computer scientists interested in developing very simple computer languages rich enough for mathematical and scientific applications.
یادداشتهای مربوط به سفارشات
دسترس پذيري
CIP entry
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Set theory.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Ensembles, Théorie des.
موضوع مستند نشده
Logique symbolique et mathématique.
موضوع مستند نشده
Axiomatische Mengenlehre
موضوع مستند نشده
Axiomatische Mengenlehre.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Mathematische Logik
موضوع مستند نشده
Mathematische Logik.
موضوع مستند نشده
Mengenlehre
موضوع مستند نشده
Mengenlehre.
موضوع مستند نشده
Set theory.
موضوع مستند نشده
Teoria Dos Conjuntos.
موضوع مستند نشده
Verzamelingen (wiskunde)
رده بندی ديویی
شماره
511
.
3/22
ويراست
19
رده بندی کنگره
شماره رده
QA248
نشانه اثر
.
T37
1987
سایر رده بندی ها
شماره رده
*
03E30
شماره رده
03-02
شماره رده
31
.
10
شماره رده
CC
2600
شماره رده
MAT
040f
شماره رده
PB
87
شماره رده
SK
130
شماره رده
SK
150
شماره رده
SK
155
کد سيستم
msc
کد سيستم
msc
کد سيستم
bcl
کد سيستم
rvk
کد سيستم
stub
کد سيستم
blsrissc
کد سيستم
rvk
کد سيستم
rvk
کد سيستم
rvk
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Tarski, Alfred,1901-1983.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Givant, Steven R.
مبدا اصلی
تاريخ عمليات
20201207201150.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
