فراتماده ، ماشین آلات و گوگل اثبات
Metamathematics, machines and Goedel's proof
نویسنده: N. Shankar
ناشر: Cambridge University Press
سال انتشار: 1994
تعداد صفحات: 218
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 1 مگابایت
توضیحی برای این کتاب ثبت نشده است.