نظریه اثبات اساسی
Basic Proof Theory
نویسنده: A. S. Troelstra, H. Schwichtenberg
ناشر: Cambridge University Press
سال انتشار: 1996
تعداد صفحات: 353
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت
توضیحی برای این کتاب ثبت نشده است.