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