Proof Theory: The First Step into Impredicativity

By W. Pohlers. 2008

115 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/d39ff1d9b95a9b3ed5624ac01ae4bca8859c100f