عنوان
پدید آورنده
موضوع
رده
BC135 .M325 1989
BC135
.
M325
1989
کتابخانه
محل استقرار
شابک
شابک
0521365899
شابک
0521367700
شابک
9780521365895
شابک
9780521367707
شماره کتابشناسی ملی
شماره
b764353
عنوان و نام پديدآور
عنوان اصلي
Systems of logic /
نام عام مواد
[Book]
نام نخستين پديدآور
Norman M. Martin.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Cambridge University Press,
تاریخ نشرو بخش و غیره
1989.
مشخصات ظاهری
نام خاص و کميت اثر
xi, 318 pages ;
ابعاد
24 cm
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references.
یادداشتهای مربوط به مندرجات
متن يادداشت
1. Formal systems and structure theory --- 2. Zero-order logic: proof theory --- 3. Zero-order model theory --- 4. Positive implication --- 5. Negation --- 6. Complete implication-negation logic --- 7. Disjunction --- 8. Conjunction --- 9. Multi-connective systems --- 10. Strict implications: introduction --- 11. Strict implications: addition results --- 12. Quantification and first-order logic --- 13. Quantification and complete logics --- 14. Quantification and incomplete logics --- 15. Interpretation of formal systems ---- Appendix: historical and bibliographical remarks.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This advanced study of systems of propositional logic offers a comprehensive account of a wide variety of logical systems and encourages students to take a critical stance toward the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory. Special attention is given to the weakenings of classical logic and a more refined treatment of modal logic is presented. -- Back cover.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Logic.
موضوع مستند نشده
Logique symbolique et mathématique.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Logic.
موضوع مستند نشده
Logik
موضوع مستند نشده
Logique.
موضوع مستند نشده
Symbolische logica.
رده بندی ديویی
شماره
160
ويراست
19
رده بندی کنگره
شماره رده
BC135
نشانه اثر
.
M325
1989
سایر رده بندی ها
شماره رده
*
03-02
شماره رده
03-01
شماره رده
03B05
شماره رده
03B10
شماره رده
03B20
شماره رده
03B30
شماره رده
03B45
شماره رده
08
.
33
شماره رده
31
.
10
شماره رده
5
,
1
شماره رده
CC
2500
شماره رده
CC
2600
شماره رده
MAT
030f
شماره رده
SK
130
کد سيستم
msc
کد سيستم
msc
کد سيستم
msc
کد سيستم
msc
کد سيستم
msc
کد سيستم
msc
کد سيستم
msc
کد سيستم
bcl
کد سيستم
bcl
کد سيستم
ssgn
کد سيستم
rvk
کد سيستم
rvk
کد سيستم
stub
کد سيستم
rvk
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Martin, Norman M.
مبدا اصلی
تاريخ عمليات
20201204234548.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
