Algebraically generalized recursive function theory (1968)

by H Strong
Venue:IBM J. Res. Dev