511.36 / P754p
Pohlers, Wolfram
Proof theory : the first step into impredicativity / Wolfram Pohlers .- Berlin: Springer, 2009 .- xiii,370p . .- ( Universitext
ISBN: 9783540693185
Subject Headings:
Proof theory;
Copy Details:
Acc. No.: A163751, Full Call No.: 511.36 P754p, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Pohlers, Wolfram
Proof theory : the first step into impredicativity / Wolfram Pohlers .- Berlin: Springer, 2009 .- xiii,370p . .- ( Universitext
ISBN: 9783540693185
Subject Headings:
Proof theory;
Copy Details:
Acc. No.: A163751, Full Call No.: 511.36 P754p, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------