Proof theory :
Pohlers, Wolfram.
Proof theory : the first step into impredicativity / Wolfram Pohlers. - Berlin : Springer, c2009. - xiii, 370 p. ; 22 cm. - Universitext . - Universitext. .
TBH/SINV00482/15
Euro 59.99
Includes bibliographical references (p. 357-361) and index.
9783540693185 (pbk.) 3540693181 (pbk.)
GBA886510 bnb 08,A46,1015 dnb 08,N26,1199 dnb
989061868 DE-101
Proof theory.
Beweistheorie.
511.36 POH
Proof theory : the first step into impredicativity / Wolfram Pohlers. - Berlin : Springer, c2009. - xiii, 370 p. ; 22 cm. - Universitext . - Universitext. .
TBH/SINV00482/15
Euro 59.99
Includes bibliographical references (p. 357-361) and index.
9783540693185 (pbk.) 3540693181 (pbk.)
GBA886510 bnb 08,A46,1015 dnb 08,N26,1199 dnb
989061868 DE-101
Proof theory.
Beweistheorie.
511.36 POH