دانلود کتاب Proof Theory. An Introduction

Name: Proof Theory. An Introduction
Availability: InStock
Author: Wolfram Pohlers
ISBN: 3540518428, 9783540518426

by Wolfram Pohlers

عنوان فارسی: نظریه اثبات. مقدمه
ناشر: Springer
سال: 1989
ویرایش: LNM1407, Springer
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 219-219
شابک: 3540518428, 9783540518426
نوع فایل: DJVU دانلود نرم افزار مطالعه
حجم: 2.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The "constructive" consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the "cabal language" of proof theory, but only a language familiar to most readers.

کتاب های مرتبط

این کتاب رو مطالعه کردید؟ نظر شما چیست؟

برای ارسال نظر، لطفا وارد شوید.

نظر دهید

* فیلدهای ستاره دار الزامی است.

1000

ورودی های من را در نظرهای بعدی به خاطر بسپار.

نظرات (0)

هنوز نظری داده نشده است. شما اولین باشید!