حساب مرتبه اول پئانو و زير نظريه هاي آن همراه با چند مساله مرتبط در نظريه پيچيدگي
مشخصات ظاهري
22ص.
چکيده
در اين مقاله مروري بر نظريه هاي مرتبه اول حساب خواهيم داشت . همچنين اشاره خواهيم كرد كه زير نظريه هاي ضعيف حساب ارتباط هاي اساسي با نظريه پيچيدگي محاسبه دارند. در انتها اشاره اي به نظريه هاي مرتبه اول شهودي حساب خواهيم كرد