Admissible ordinals and priority arguments (1973)

by M Lerman
Venue:In Cambridge Summer School in Mathematical Logic