Proofs and Computations

Discover the intricate world of proof theory with "Proofs and Computations" by Helmut Schwichtenberg, published by Cambridge University Press in 2011. This comprehensive hardback edition spans 480 pages and is designed for advanced students and researchers in the fields of mathematical logic and computer science. Schwichtenberg, a recognized authority in the subject, offers a detailed and self-contained exploration of proof theory, covering both classical and constructive arithmetics, including finitely iterated inductive definitions. The book delves into the profound connections between computability, complexity, and program extraction, making it an essential resource for anyone looking to deepen their understanding of these critical themes. Enhance your knowledge and skills with this essential addition to your academic library.