Moschovakis. Recursion in higher types (1977)

by A S Kechris, Y N
Venue:Handbook of Mathematical Logic, Studies in Logic, No. 90