محاسبه طبیعی: یک مطالعه اثبات نظری
Natural deduction: A proof-theoretical study
نویسنده: Dag Prawitz
ناشر: Dover Publications
سال انتشار: 2006
تعداد صفحات: 115
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 993 کیلوبایت
توضیحی برای این کتاب ثبت نشده است.