The author selects 23 of his papers in mathematical logic that pursue definability via priority, forcing, compactness and fine structure applied to classical recursion, hyperarithmetic sets, recursion in objects of finite type, measure, models and E-recursion. His general introduction provides a chronology both personal and technical.
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة الإنجليزية ● شكل PDF ● صفحات 452 ● ISBN 9789812812926 ● حجم الملف 72.2 MB ● محرر Gerald E Sacks ● الناشر World Scientific Publishing Company ● مدينة Singapore ● بلد SG ● نشرت 1999 ● للتحميل 24 الشهور ● دقة EUR ● هوية شخصية 2447250 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM