Ordinal analysis of simple cases of bar recursion (1981)

by WA Howard
Venue:Journal of Symbolic Logic