The realm of primitive recursion (1988)

by H Simmons
Venue:Archive for Mathematical Logic