کتاب زبان اصلی Logic Computation Hierarchies  اثر unknown منطق محاسبه سلسله مراتب منطق ریاضی اونتوس 4 Logic Computation Hierarchies Ontos Mathematical Logic 4 کتابی است بدون نام نویسنده که در سال 2004 میلادی منتشر شده است این کتاب به بررسی ارتباط بین منطق محاسبات و سلسله مراتب می پردازد مطالب کتاب شامل مباحثی در زمینه منطق مرتبه اول و دوم نظریه محاسبات سلسله مراتب تورینگ و تعامل بین این موضوعات است این کتاب به عنوان جلد چهارم از مجموعه منطق ریاضی انتشارات اونتوس منتشر شده و مخاطبان اصلی آن ریاضی دانان و منطق دانان حرفه ای هستند با توجه به موضوع تخصصی این کتاب بیشتر برای محققان و دانشجویان تحصیلات تکمیلی رشته های مرتبط مفید خواهد بود