پیشرفت در نظریه اثبات
Advances in Proof Theory
نویسنده: Reinhard Kahle, Thomas Strahm, Thomas Studer (eds.)
ناشر: Birkhäuser
سال انتشار: 2016
تعداد صفحات: 430
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت
توضیحی برای این کتاب ثبت نشده است.