کتاب الکترونیکی

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

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

دانلود کتاب Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (به فارسی: تعاریف استقرایی تکرار شده و زیر سیستم های تحلیل: مطالعات اثباتی-نظری اخیر) نوشته شده توسط «W. Buchholz – S. Feferman – W. Pohlers – W. Sieg»


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

موضوع اصلی: تحلیل و بررسی

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: W. Buchholz – S. Feferman – W. Pohlers – W. Sieg

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1981

تعداد صفحه: 388

حجم کتاب: 3 مگابایت

کد کتاب: 9783540111702 , 3-540-11170-0

نوبت چاپ: 1

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

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.