lambdas

زبان در عمل: دسته ها، لامبداها و منطق پویا

دانلود کتاب Language in Action: Categories, Lambdas and Dynamic Logic (به فارسی: زبان در عمل: دسته ها، لامبداها و منطق پویا) نوشته شده توسط «Johan van Benthem» اطلاعات کتاب زبان در عمل: دسته ها، لامبداها و منطق پویا موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: North Holland نویسنده: Johan van Benthem زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1991 تعداد صفحه: 357 حجم کتاب: 3 مگابایت کد کتاب: 0444890009 , 9780444890009 توضیحات کتاب زبان در عمل: دسته ها، لامبداها و منطق پویا این تک نگاری زندگی خود را به عنوان مجموعه ای از مقالات…