Ordinal analysis of simple cases of bar recursion (1981)

by W A Howard
Venue:J. Symbolic Logic