کتاب مقدمهای بر اثباتگر قضیه Lean 5.0: ابزاری برای استدلال صوری و اثبات گزارهها
249,950 تومان
در صورت خرید اقساطی هر قسط: 62,488 تومان