Kniha momentálne nie je na sklade
Viac o knihe
The book offers a comprehensive exploration of both classical and intuitionistic predicate logic, significantly expanding upon its predecessor. It introduces the theory of functionals of finite types to elucidate the Gödel interpretation of number theory. Moving away from ramified type theory, it systematically develops classical type theory and predicative analysis. Additionally, it provides consistency proofs for systems of lI~-analysis, employing an innovative notation system for ordinals that enhances previous methodologies.
Nákup knihy
Proof Theory, K. Schütte
- Jazyk
- Rok vydania
- 2011
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Proof Theory
- Jazyk
- anglicky
- Autori
- K. Schütte
- Vydavateľ
- Springer Berlin Heidelberg
- Vydavateľ
- 2011
- Väzba
- mäkká
- Počet strán
- 320
- ISBN13
- 9783642664755
- Kategórie
- Matematika
- Anotácia
- The book offers a comprehensive exploration of both classical and intuitionistic predicate logic, significantly expanding upon its predecessor. It introduces the theory of functionals of finite types to elucidate the Gödel interpretation of number theory. Moving away from ramified type theory, it systematically develops classical type theory and predicative analysis. Additionally, it provides consistency proofs for systems of lI~-analysis, employing an innovative notation system for ordinals that enhances previous methodologies.