خرید و دانلود نسخه کامل کتاب Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

تعاریف استقرایی تکراری و زیر سیستم های تجزیه و تحلیل: مطالعات اخیر اثبات-نظری

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

نویسنده: Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1981

تعداد صفحات: 388

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 5 مگابایت