Proof theory:
Pohlers, Wolfram.
Proof theory: First step into impradictivity. Wolfram Pohlers. - Berlin: Springer, 2009. - xiii, 370p.
Proof theory
519.1 / POH
Proof theory: First step into impradictivity. Wolfram Pohlers. - Berlin: Springer, 2009. - xiii, 370p.
Proof theory
519.1 / POH