حساب لامبدا

عنوان کتاب: The Logic, Philosophy, and History of the Lambda-Calculus نویسنده: Michael Beaney حوزه: حساب سال انتشار: 2024 تعداد صفحه: 274 زبان اصلی: انگلیسی نوع فایل: pdf حجم فایل: 2.99 مگابایت این کتاب تلاش می کند ادامه مطلب