فرا ریاضیات حساب مرتبه اول
Metamathematics of First-Order Arithmetic
نویسنده: Petr Hájek, Pavel Pudlák
ناشر: Cambridge University Press
سال انتشار: 2017
تعداد صفحات: 475
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 22 مگابایت
توضیحی برای این کتاب ثبت نشده است.