This major graduate-level text provides a detailed, self-contained coverage of proof theory.
"15" Result
Sort By:
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer …
This major graduate-level text provides a detailed, self-contained coverage of proof theory.
This major graduate-level text provides a detailed, self-contained coverage of proof theory.
This major graduate-level text provides a detailed, self-contained coverage of proof theory.
This major graduate-level text provides a detailed, self-contained coverage of proof theory.
This major graduate-level text provides a detailed, self-contained coverage of proof theory.