دانلود کتاب Bounded variable logics and counting: A study in finite models
منطق و شمارش متغیرهای محدود: مطالعه ای در مدلهای متناهی
زبان : English
نویسندگان : Martin Otto
ناشر : Springer
سال انتشار : 1997
ISBN (شابک) : 3540620370, 9783540620372
ویرایش : [5 ed.]
سری : Lecture Notes in Logic 9
تعداد صفحات : 197
حجم : 2 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان