Wolfram Pohlers
Proof Theory - 2009 - Springer Berlin Heidelberg 2009 - Universitext .
9783540693192
Mathematics and Statistics
Proof Theory - 2009 - Springer Berlin Heidelberg 2009 - Universitext .
9783540693192
Mathematics and Statistics