پروور کوچولو
The Little Prover
نویسنده: Daniel P. Friedman, Carl Eastlund
ناشر: MIT Press
سال انتشار: 2015
تعداد صفحات: 244
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت
توضیحی برای این کتاب ثبت نشده است.