Proof theory the first step into impredicativity /
Pohlers, Wolfram.
Proof theory the first step into impredicativity / [electronic resource] : by Wolfram Pohlers. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009. - xiii, 374 pages : illustrations, digital. - Universitext .
9783540693192
Proof theory.
Mathematics.
Mathematical Logic and Foundations.
511.36
Proof theory the first step into impredicativity / [electronic resource] : by Wolfram Pohlers. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009. - xiii, 374 pages : illustrations, digital. - Universitext .
9783540693192
Proof theory.
Mathematics.
Mathematical Logic and Foundations.
511.36
