دانلود کتاب Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

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

زبان : English

نویسندگان : W. Buchholz, S. Feferman, W. Pohlers, W. Sieg

ناشر : Springer

سال انتشار : 1981

ISBN (شابک) : 3540111700, 9783540111702

ویرایش : [1 ed.]

سری : Lecture Notes in Mathematics

تعداد صفحات : 383[388]

حجم : 12 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان