Independent numerations of theories and recursive progressions
scientific article; zbMATH DE number 130851
scientific article