عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
9048183537
شابک
9401576424
شابک
9789048183531
شابک
9789401576420
شماره کتابشناسی ملی
شماره
b592095
عنوان و نام پديدآور
عنوان اصلي
Model Theory for Modal Logic :
نام عام مواد
[Book]
ساير اطلاعات عنواني
Kripke Models for Modal Predicate Calculi
نام نخستين پديدآور
by Kenneth A. Bowen.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht
نام ناشر، پخش کننده و غيره
Springer Netherlands : Imprint : Springer
تاریخ نشرو بخش و غیره
1979
فروست
عنوان فروست
Synthese library, 127.
یادداشتهای مربوط به مندرجات
متن يادداشت
Syntactic Considerations --; Modal Structures and Morphisms --; Validity --; Completeness --; Löwenheim-Skolem Theorems --; Ultraproducts --; Ultrafilter Pairs and Elementary Embeddings --; Direct Limits --; Model Extensions --; Inductive Theories --; Joint Consistency and Interpolation --; Model Completeness --; Finite Forcing --; Forcing and Model Completions --; Omitting Types and a Two-Cardinal Theorem.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic.
موضوع مستند نشده
Philosophy (General)
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
by Kenneth A. Bowen.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Kenneth A Bowen
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
