عنوان
پدید آورنده
موضوع
رده
QA9.46 E358 2011
QA9
.
46
E358
2011
کتابخانه
محل استقرار
شابک
شابک
9048148979
شابک
9401588791
شابک
9789048148974
شابک
9789401588799
شماره کتابشناسی ملی
شماره
b596516
عنوان و نام پديدآور
عنوان اصلي
Advances in intensional logic
نام عام مواد
[Book]
نام نخستين پديدآور
edited by Maarten de Rijke.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht ; London
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2011
مشخصات ظاهری
نام خاص و کميت اثر
(1 v).
فروست
عنوان فروست
Applied logic series, 7
یادداشتهای مربوط به مندرجات
متن يادداشت
Preface. Modal Quantification over Structured Domains; J. van Benthem, N. Alechina. Modal Logic and Model-Theoretic Syntax; P. Blackburn, W. Meyer-Viol. The Functional Interpretation of Modal Necessity; R.J.G.B. de Queiroz, D.M. Gabbay. Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic; V.V. Rybakov. The Logic of Correct Description; J. Seligman. Modal Logics of Arrows; D. Vakarelov. A Full-Circle Theorem for Simple Tense Logic; H. Wansing. Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline; M. Zakharyaschev. The Modal Object Calculus and its Interpretation; E.N. Zalta. Name Index. Subject Index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Intention (Logic)
رده بندی کنگره
شماره رده
QA9
.
46
نشانه اثر
E358
2011
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Maarten de Rijke.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Maarten de Rijke
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
