A theory of rules for enumerated classes of functions. Archive for Mathematical Logic 34 (1995)

by A Schlüter