صد سالگی گنتزن ، تلاش برای سازگاری
Gentzen's Centenary, The Quest for Consistency
نویسنده: Reinhard Kahle, Michael Rathjen (eds.)
ناشر: Springer
سال انتشار: 2015
تعداد صفحات: 563
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 6 مگابایت