kdefinability and recursiveness (0)

by S C Kleene
Venue:Duke Mathematical Journal