خرید و دانلود نسخه کامل کتاب Bounded variable logics and counting: A study in finite models

منطق و شمارش متغیر محدود: مطالعه در مدل های محدود

Bounded variable logics and counting: A study in finite models

نویسنده: Martin Otto

ناشر: Springer

سال انتشار: 1997

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

زبان: English

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

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