محاسبات و منطق، نسخه 5
Computability and Logic, 5th Edition
نویسنده: George S. Boolos, John P. Burgess, Richard C. Jeffrey
ناشر: Cambridge University Press (Virtual Publishing), 5th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey., Cambridge, New York, England, 2007
سال انتشار: 2007
تعداد صفحات: 366
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت