Rudimentary relations and primitive recursion: A toolbox
scientific article; zbMATH DE number 1189765
scientific article