دانلود کتاب Language in Action: Categories, Lambdas and Dynamic Logic
زبان در عمل: دسته بندی ها ، Lambdas و منطق پویا
زبان : English
نویسندگان : Johan van Benthem
ناشر : North Holland
سال انتشار : 1991
ISBN (شابک) : 0444890009, 9780444890009
ویرایش : [1 ed.]
سری : Studies in Logic and the Foundations of Mathematics, Volume 130
تعداد صفحات : 357
حجم : 2 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان