-
شماره رکورد
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
-
لينک به اين مدرک :
