Proof Theory. An Introduction (1989)

by W Pohlers
Venue:Lecture Notes in Mathematics