اثبات، منطق، و رسمی سازی
Proof, Logic, and Formalization
نویسنده: Michael Detlefsen
ناشر: Routledge
سال انتشار: 1992
تعداد صفحات: 118
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت
توضیحی برای این کتاب ثبت نشده است.