Proof Theory
Ranked #39 in Recursion
Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerstone for any library in mathematical logic and related topics.
The three-part treatment begins with an exploration of first order systems, including a treatment of predicate calculus involving Gentzen's... more
The three-part treatment begins with an exploration of first order systems, including a treatment of predicate calculus involving Gentzen's... more
Similar Books
If you like Proof Theory, check out these similar top-rated books:
