Notation systems for infinitary derivations (1991)

by Wilfried Buchholz
Venue:Archive for Mathematical Logic