محاسبه طبیعی، منطق منطقهای سیستمهای محوری
Natural Deduction, The Logical Basis of Axiom Systems
نویسنده: Mueller Anderson, J. , Johnstone, H.
ناشر: Wadsworth Publishing Company
سال انتشار: 1962
تعداد صفحات: 415
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 15 مگابایت