Wolfram Pohlers

Proof Theory - 2009 - Springer Berlin Heidelberg 2009 - Universitext .

9783540693192


Mathematics and Statistics