توضیحات
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the second publication in the Perspectives in Logic series, is an almost self-contained introduction to higher recursion theory, in which the reader is only assumed to know the basics of classical recursion theory. The book is divided into four parts: hyperarithmetic sets, metarecursion, -recursion, and E-recursion. This text is essential reading for all researchers in the field.
————————————————————–
ترجمه ماشینی :
از زمان آغاز به کار ، دیدگاه های مربوط به منطق و یادداشت های سخنرانی در سری منطق آثار اصلی را توسط پیشرو Logicians منتشر کرده است. بسیاری از کتابهای اصلی این سریال سالها در دسترس نبوده است ، اما اکنون بار دیگر در حال چاپ هستند. این جلد ، دومین انتشار در چشم اندازهای سریال Logic ، مقدمه ای تقریباً خودمختار برای تئوری بازگشت بالاتر است ، که در آن خواننده فقط فرض می شود که اصول تئوری بازپرداخت کلاسیک را می داند. این کتاب به چهار بخش تقسیم می شود: مجموعه های هایپرارسیتیک ، متاکریت ،- تجدید نظر و بازخوانی الکترونیکی. این متن برای همه محققان این زمینه خواندن ضروری است.
tag : دانلود کتاب نظریه بازگشت بالاتر , Download نظریه بازگشت بالاتر , دانلود نظریه بازگشت بالاتر , Download Higher Recursion Theory Book , نظریه بازگشت بالاتر دانلود , buy نظریه بازگشت بالاتر , خرید کتاب نظریه بازگشت بالاتر , دانلود کتاب Higher Recursion Theory , کتاب Higher Recursion Theory , دانلود Higher Recursion Theory , خرید Higher Recursion Theory , خرید کتاب Higher Recursion Theory ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.