Proof theory
Auteur :
Pohlers, Wolfram
Éditeur :
Pohlers, Wolfram
ISBN :
9783540693185
Date de publication :
13 oct. 2008
Dimensions :
23,4 x 15,6 x 2,0 cm
Poids :
1200 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This book on proof theory needs no previous knowledge of proof theory. Avoiding cryptic terminology as much as possible, it starts at an elementary level and displays the connections between infinitary proof theory and generalized recursion theory.