شماره رکورد
388
ساير پديد آوران
samuel R. buss
عنوان
completeness
مشخصات ظاهري
185-99ص.
يادداشت
اين جزوه شامل 2 قسمت جداگانه است: 1- completeness و 2-first- order proof theory of arithmetic
مندرجات
chapter 2: first- order proof theory of arithmetic
موضوع
completeness , proof theory of arithmetic
زبان
انگليسي و روسي
شماره راهنما
ج388