On the partial recursive functions of ordinal numbers (1964)

by T Tugué
Venue:In S.B.Cooper and J.K.Truss, editors, Sets and Proofs: Proc. Logic Colloquium 1997, Leeds, volume 258 of London Mathematical Society Lecture Notes in Mathematics. C.U.P