Proof Theory and Logical Complexity

€77.00

This book is intended to be an introduction to proof-theory. Starting with Hilbert, whose second problem (in the famous list of problems of 1900) was the consistency of number theory, Hilbert’s program and its demise at the hands of Gödel. Then proceed with Gentzen’s results.