Proofs and Computations - Helmut Schwichtenberg - Hardback Bog - Cambridge University Press - 2011 - Engelsk - Booktok.dk

Description

Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science, this volume provides a detailed, self-contained coverage of proof theory in both classical and constructive arithmetics, up to finitely iterated inductive definitions. Deep connections with computability, complexity and program extraction form the principal themes.