کتاب مبانی و کاربردهای اثبات قضایای ریاضی به کمک رایانه (Machine Assisted Proof)
249,950 تومان
در صورت خرید اقساطی هر قسط: 62,488 تومان