Pohlers W. Proof theory : the first step into impredicativity / W. Pohlers, 2009 r=on-line. - Текст : электронный.
Pohlers W. Proof theory : An introduction / W.Pohlers, 1989. - 213 p. - Текст : непосредственный.