دانلود کتاب Proof-Net Categories

49,000 تومان
مقوله های اثبات خالص
نوع کالا کتاب الکترونیکی
ناشر Polimetrica, International Scientific Publisher
تعداد صفحه 144
حجم فایل 612 کیلوبایت
کد کتاب 9788876990809,8876990801

دانلود کتاب Proof-Theoretical Coherence

49,000 تومان
انسجام اثباتی-نظری
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر College Publications
تعداد صفحه 391
حجم فایل 1 مگابایت
کد کتاب 9781904987062,1904987060
نوبت چاپ وب اصلاح شده 2007

دانلود کتاب Substructural Logics

49,000 تومان
منطق زیرساختی
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Clarendon Press
تعداد صفحه 397
حجم فایل 3 مگابایت
کد کتاب 0198537778,9780198537779