مطالعه نظریه جمع اعداد طبیعی
Publish place: Second International Conference on Applied Research in Mathematical Sciences and Physics
Publish Year: 1397
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 624
This Paper With 7 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
MATHCO02_012
تاریخ نمایه سازی: 8 مرداد 1398
Abstract:
در این مقاله ، تصمیم پذیری ساختار اعداد طبیعی در زبان + بررسی خواهد شد. و تصمیم پذیری حساب پرس بورگر باا ستفاده از حذف سور توسط اندرتون نشان داده شده است. در این مقاله یک برهان جدید و متفاوت از برهان موجود ارائه خواهد شد
Keywords: