Theories for Admissible Sets: A Unifying Approach to Proof Theory (1986)

by G Jäger
Venue:Studies in Proof Theory, Lecture Notes