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