Admissible ordinals and priority arguments (1971)

by Manuel Lerman
Venue:Summer School in Mathematical Logic