Proofs and computations
Auteur :
Schwichtenberg, Helmut / Wainer, Stanley S.
Éditeur :
Cambridge University Press
ISBN :
9780521517690
Date de publication :
15 déc. 2011
Dimensions :
23,6 x 16,0 x 3,0 cm
Poids :
860 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.