خرید و دانلود نسخه کامل کتاب The Semantics and Proof Theory of the Logic of Bunched Implications

معناشناسی و نظریه اثبات منطق مفاهیم دسته‌ای

The Semantics and Proof Theory of the Logic of Bunched Implications

نویسنده: David J. Pym

ناشر: Springer Netherlands

سال انتشار: 2002

تعداد صفحات: 323

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 9 مگابایت