extensional

تفسیر تابعی گودل گسترده: اثبات سازگاری تحلیل کلاسیک

دانلود کتاب Extensional Godel Functional Interpretation: A Consistency Proof of Classical Analysis (به فارسی: تفسیر تابعی گودل گسترده: اثبات سازگاری تحلیل کلاسیک) نوشته شده توسط «Horst Luckhardt» اطلاعات کتاب تفسیر تابعی گودل گسترده: اثبات سازگاری تحلیل کلاسیک موضوع اصلی: تحلیل و بررسی نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Horst Luckhardt زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1973 تعداد صفحه: 166 حجم کتاب: 2 مگابایت کد کتاب: 9780387061191 , 0-387-06119-3 دانلود کتاب «تفسیر تابعی گودل گسترده: اثبات سازگاری تحلیل کلاسیک»