Ordinal bounds for programs (1995)

by Helmut Schwichtenberg, Stanley S Wainer
Venue:Feasible Mathematics II