محاسبات و منطق
Computability and Logic
نویسنده: George S. Boolos, John P. Burgess, Richard C. Jeffrey
ناشر: Cambridge University Press
سال انتشار: 2002
تعداد صفحات: 370
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت
توضیحی برای این کتاب ثبت نشده است.