MAPress
فروشگاه
وبلاگ
سبد خرید
ورود
اثبات صوری و زبانهای برنامهنویسی منطقی
کتاب مبانی نظریه انواع در Lean: اثبات صوری با رویکردی کاربردی
249,950 تومان
