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

by A L Semenov
Venue:Izv. Akad. Nauk. SSSR ser. Mat