عنوان
پدید آورنده
موضوع
رده
QA9.54 M458 2010
QA9
.
54
M458
2010
کتابخانه
محل استقرار
شابک
شابک
9048183812
شابک
9789048183814
شماره کتابشناسی ملی
شماره
b545909
عنوان و نام پديدآور
عنوان اصلي
Proof methods for modal and intuitionistic logics
نام عام مواد
[Book]
نام نخستين پديدآور
Melvin Fitting ...
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht ; Boston ; Lancaster
نام ناشر، پخش کننده و غيره
D. Reidel, cop.
تاریخ نشرو بخش و غیره
2010
مشخصات ظاهری
نام خاص و کميت اثر
1 vol. (viii-555 p.) ; 23 cm
يادداشت کلی
متن يادداشت
La couv. porte en plus: "Edited by Donald Davidson."
یادداشتهای مربوط به مندرجات
متن يادداشت
One / Background.- Two / Analytic Modal Tableaus and Consistency Properties.- Three / Logical Consequence, Compactness, Interpolation, and Other Topics.- Four / Axiom Systems and Natural Deduction.- Five / Non-Analytic Logics.- Six / Non-Normal Logics.- Seven / Quantifiers.- Eight / Prefixed Tableau Systems.- Nine / Intuitionistic Logic.- Special Notation.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Mathématiques intuitionnistes.
موضوع مستند نشده
Modalité (logique)
موضوع مستند نشده
Théorie de la démonstration.
رده بندی کنگره
شماره رده
QA9
.
54
نشانه اثر
M458
2010
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Melvin Fitting ...
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Melvin Chris Fitting
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
