نظریه اثبات اساسی
Basic proof theory
نویسنده: A S Troelstra; Helmut Schwichtenberg
ناشر: Cambridge University Press
سال انتشار: 2000
تعداد صفحات: 430
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت
توضیحی برای این کتاب ثبت نشده است.