Logical theories of one-place functions on the set of natural numbers (in (1983)

by A L Semënov
Venue:English translation, Math. USSRIzv