پیشرفت در کسر طبیعی جشنی از کار داگ پروویتز
Advances in natural deduction. A celebration of Dag Prawitz’s work
نویسنده: Pereira L.C., Haeusler E.H., de Paiva V.
ناشر: Springer
سال انتشار: 2014
تعداد صفحات: 288
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت