On the recursive functions of ordinal numbers (1960)

by G Takeuti
Venue:Journal of the Mathematical Society of Japan