محاسبه طبیعی: منطق منطقی سیستم های axiom
Natural deduction: the logical basis of axiom systems
نویسنده: Anderson J.M., Johnstone H.W
ناشر: Wadsworth
سال انتشار: 1962
تعداد صفحات: 416
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت