We have over a million books in stock

Bookbot
The book is currently out of stock

Proof Theory

Authors

320 pages

More about the book

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.

Parameters

ISBN
9783642664755

Categories

Book variant

2011, paperback

Book purchase

We’ll notify you via email once we track it down.