مفاهیم اثبات در ریاضیات، فلسفه و علوم کامپیوتر
Concepts of Proof in Mathematics, Philosophy, and Computer Science
نویسنده: Dieter Probst (editor); Peter Schuster (editor)
ناشر: De Gruyter
سال انتشار: 2016
تعداد صفحات: 384
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت