الهياكل القابلة للحوسبة والتسلسل الهرمي فائق الحسابية - (دراسات في المنطق وأسس الرياضيات) تأليف C J Ash و J Knight (غلاف فني)

ملخص الكتاب يصف هذا الكتاب برنامجاً بحثياً في نظرية البنية القابلة للحوسبة. يهدف البحث إلى إيجاد شروط القابلية للتعريف التي تقابل حدود التعقيد والتي تظل ثابتة تحت التماثل. تنطبق النتائج على أنواع مألوفة من البنى (المجموعات، والحقول، والفضاءات المتجهة، والترتيبات الخطية، وجبر بول، والمجموعات p-الأبيلية، ونماذج الحساب). هناك العديد من النتائج المثيرة للاهتمام بالفعل، ولكن لا تزال هناك العديد من الأسئلة الطبيعية التي تنتظر الإجابة. يعد هذا الكتاب مرجعاً شاملاً ومستقلاً بذاته، حيث يتضمن المادة الخلفية الضرورية من نظرية العودية (التدوينات الترتيبية، والتسلسل الهرمي فوق الحسابي) ونظرية النموذج (الصيغ اللانهائية، وخصائص الاتساق).