خرید و دانلود نسخه کامل کتاب Metamath: A Computer Language for Mathematical Proofs

Metamath: زبان کامپیوتری برای اثبات ریاضی

Metamath: A Computer Language for Mathematical Proofs

نویسنده: Norman Megill, David A. Wheeler

ناشر: Lulu Press

سال انتشار: 2019

تعداد صفحات: 247

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 1 مگابایت