Bookbot

Proof Theory

Paramètres

Pages
320pages
Temps de lecture
12heures

En savoir plus sur le livre

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.

Achat du livre

Proof Theory, K. Schütte

Langue
Année de publication
2011
product-detail.submit-box.info.binding
(souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer