با تکمیل این خرید، ۱۸,۰۰۰ تومان به کیف پول شما اضافه خواهد شد!
“دانلود کتاب Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology – کاوش رسمی...” به سبد شما افزوده شد. خرید کتابهای بیشتر
آیا مایل به حذف تاریخچه پیامها هستید؟