کتاب مبانی نظریه تایپ هموتوپی (HoTT) و کاربرد آن در اثبات صوری قضایای ریاضی
249,950 تومان
در صورت خرید اقساطی هر قسط: 62,488 تومان