Inductively defined sets of natural numbers (1961)

by Clifford Spector
Venue:In Infinitistic methods, Pergamon