• شماره رکورد
    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