1
by Pohlers, Wolfram
Published 1989
Springer Berlin Heidelberg

2
by Buchholz, Wilfried, Feferman, Solomon, Pohlers, Wolfram, Sieg, Wilfried
Published 1981
Springer Berlin Heidelberg