ثبت نام  |   ورود
امکانات دانلود کتابکو است و همیشه خواهد ماند
کتاب دانلود کتاب و مقاله
جستجوی
پیشرفته
MENU
  • درباره ما
  • بحث و تبادل نظر
  • ارسال کتاب
  • درخواست کتاب
  • دانلود مقاله ISI
  • دسته بندی کتاب ها
  • کتاب ها
  • صفحه اصلی

کتابکو موتور جستجوی کتاب های الکترونیکی در سطح اینترنت می باشد که همانند سایر موتورهای جستجو - مثلا گوگل - می تواند کتاب ها و اطلاعات مربوط به آن ها را استخراج و ایندکس نماید. در میان جستجو و ایندکس کردن کتاب ها، ممکن است کتابکو محتوای شامل کپی رایت را نیز ایندکس نماید. این فرآیند کاملا اجتناب ناپذیر است. چرا که ربات کتابکو محتوای شامل کپی رایت را از غیر آن تشخیص نمی دهد. دقیقا مانند موتور جستجوی عکس گوگل و یا گوگل اسکلار که ممکن است شامل محتوای دارای کپی رایت نیز باشد. ما کتاب ها را اسکن و آپلود نمی کنیم. استفاده از منابع این سایت تماما با مسئولیت و اطلاع استفاده کننده خواهد بود. اگر شما محتوای خود را در کتاب یافتید و خواستار حذف آن بودید، با ارسال یک ایمیل به دپارتمان حذف آثار از طریق "این ایمیل"، درخواست خود را ارسال نمایید. کتاب شما در کمتر از یک روز کاری حذف خواهد شد.

❌ بستن

انتشارات Association For Symbolic Logic

کتاب های انتشارات
صفحه ۱ از ۱ در بین ۷ کتاب.
    DJVU
    Inexhaustibility: A Non-Exhaustive Treatment

    Inexhaustibility: A Non-Exhaustive Treatment

    Torkel Franzén, 2004
    PDF
    Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics

    Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics

    Gabbay, 1996
    PDF
    A Course in Model Theory

    A Course in Model Theory

    Katrin Tent, Martin Ziegler, 2012
    DJVU
    Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998

    Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998

    Buss, Samuel R.; Hájek, Petr; Pudlák, Pavel(eds.), 2000
    DJVU
    The Notre Dame Lectures: Lecture Notes in Logic, 18

    The Notre Dame Lectures: Lecture Notes in Logic, 18

    Peter Cholak(eds.), 2005
    DJVU
    Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003

    Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003

    Viggo Stoltenberg-Hansen, Jouko Väänänen(eds.), 2006
    DJVU
    Logic Colloquium 2000

    Logic Colloquium 2000

    Rene Cori, Alexander Razborov, Stevo Todorcevic, Carol Wood(eds.), 2005

دانلود کتاب   |   کتاب ها   |   نرم افزارهای مفید

کتابکو چگونه کار می کند   |   درخواست حذف اثر   |   راهنمای کسب امتیاز   |   سیاست حفظ حریم خصوصی   |   سیاست ضد هرزنامه

کپی رایت ۲۰۱۴ تا ۲۰۲۵, ketabkoo.com (کتابکو)   |   ارتباط با ما

تمامی كالاها و خدمات این سایت، حسب مورد، دارای مجوزهای لازم از مراجع مربوطه می باشند و فعالیت‌های این سایت تابع قوانین و مقررات جمهوری اسلامی ایران است.