جستجو در کتاب‌های الکترونیکی

راهنمای جستجو | فهرست ناشران

جستجوی سریع: (در عنوان و شرح مختصر/مفصل)    

جستجوی پیشرفته - همه و يا تعدادي از فيلدهاي زير را تكميل و كليد جستجوي زير را فشار دهيد.


نمايش کتابها

نتايج از 1 تا 1 از مجموع 1

نمايش

تعداد نتايج در هر صفحه مرتب سازي با صعودي نزولي

صفحه از 1

Metamathematics of first-order arithmetic  Metamathematics از حساب مرتبه اول --  1. عنوان کتاب الکترونیک: Metamathematics of first-order arithmetic
Metamathematics از حساب مرتبه اول --
موضوع:
ناشر (انتشارات): Assn for Symbolic Logic
سال: 1998
شابک: 9783540636489، 354063648X
نویسند‌گان: Petr Hájek, Pavel Pudlák
[ صفحه 460 | 320 بار نمایش ]

برو به صفحه

نمايش

تعداد نتايج در هر صفحه مرتب سازي با صعودي نزولي

صفحه از 1


مرجع دانش (سیویلیکا) | مجلات علمی پژوهشی | رتبه بندی بانکهای ایران | اخبار علمی | دیده بان علم ایران | پروژه ها و تحقیق دانشجویی | مرجع کتاب | فراخوانهای علمی پژوهشی کشور | افراد مهم علمی کشور | مرجع صنعت کنفرانس | اطلاع رسانی کنفرانسها | همایشهای پزشکی | بنانیوز (خبرگزاری مسکن و معماری) | نمایشگاه صنعت ساختمان | بانک نمونه قراردادها