منطق پیشنهادی: کسر و الگوریتم
Aussagenlogik: Deduktion und Algorithmen
نویسنده: Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.)
ناشر: Vieweg+Teubner Verlag
سال انتشار: 1994
تعداد صفحات: 448
زبان: German
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 19 مگابایت