دانلود کتاب Admissible Sets and Structures: An Approach to Definability Theory
دسته: منطق
کتاب مجموعه ها و ساختارهای قابل قبول: رویکردی به نظریه تعریف پذیری نسخه زبان اصلی
دانلود کتاب مجموعه ها و ساختارهای قابل قبول: رویکردی به نظریه تعریف پذیری بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Admissible Sets and Structures: An Approach to Definability Theory
نام کتاب : Admissible Sets and Structures: An Approach to Definability Theory
عنوان ترجمه شده به فارسی : مجموعه ها و ساختارهای قابل قبول: رویکردی به نظریه تعریف پذیری
سری : Perspectives in Mathematical Logic
نویسندگان : Jon Barwise
ناشر : Springer
سال نشر : 1975
تعداد صفحات : 404
ISBN (شابک) : 9783662110379 , 9783662110355
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 7 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
Content:
Front Matter....Pages I-XIV
Introduction....Pages 1-4
Front Matter....Pages 5-5
Admissible Set Theory....Pages 7-41
Some Admissible Sets....Pages 42-77
Countable Fragments of L?? ....Pages 78-112
Elementary Results on ?YPm ....Pages 113-149
Front Matter....Pages 151-151
The Recursion Theory of ?1 Predicates on Admissible Sets....Pages 153-196
Inductive Definitions....Pages 197-254
Front Matter....Pages 255-255
More about L?? ....Pages 257-310
Strict ? 1 1 Predicates and K?nig Principles....Pages 311-364
Back Matter....Pages 365-396
پست ها تصادفی