کتاب منطق در علوم کامپیوتر. دوره 1: زمینه: ساختارهای ریاضی
Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures
نویسنده: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
ناشر: Oxford University Press
سال انتشار: 1993
تعداد صفحات: 420
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 34 مگابایت