Pohlers, Wolfram.
Proof Theory The First Step into Impredicativity / [electronic resource] : by Wolfram Pohlers. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Universitext . - Universitext .
9783540693192
10.1007/978-3-540-69319-2 doi
Mathematics.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3
Proof Theory The First Step into Impredicativity / [electronic resource] : by Wolfram Pohlers. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Universitext . - Universitext .
9783540693192
10.1007/978-3-540-69319-2 doi
Mathematics.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3