Wolfram Pohlers

Proof Theory - 1989 - Heidelberg Springer Berlin 1989 - Monograph - Lecture Notes in Mathematics v.1407 .

9783540468257


Mathematics and Statistics