دانلود کتاب Substructural Logics (به فارسی: منطق زیرساختی) نوشته شده توسط «Peter Schroeder-Heister – Kosta Dosen»
اطلاعات کتاب منطق زیرساختی
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Clarendon Press
نویسنده: Peter Schroeder-Heister – Kosta Dosen
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1993
تعداد صفحه: 397
حجم کتاب: 4 مگابایت
کد کتاب: 0198537778 , 9780198537779
توضیحات کتاب منطق زیرساختی
منطق زیرساختی شامل خانواده ای از منطق های غیرکلاسیک است که در پاسخ به مشکلاتی در علوم کامپیوتر نظری، زبان شناسی ریاضی و نظریه مقوله پدید آمدند. آنها شامل منطق شهودگرایانه، منطق مرتبط، منطق BCK، منطق خطی، و محاسبات مقوله های ترکیبی لامبک هستند. این کتاب مقالات جدیدی از برخی از برجسته‌ترین مراجع در این سنت‌های مختلف را گرد هم می‌آورد تا دیدی واحد از این حوزه ارائه دهد. این جلد مهم – اولین جلدی که رشته‌های متفاوت کار در منطق‌های زیرساختی را گرد هم می‌آورد – مورد استقبال دانش‌آموزان و منطق‌دانان حرفه‌ای، دانشمندان نظری رایانه، زبان‌شناسان نظری، فیلسوفان، و ریاضیدانانی قرار خواهد گرفت که در نظریه مقوله‌ها و جبر جهانی کار می‌کنند.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.