A unary representation result for system \(T\)
scientific article; zbMATH DE number 951957
scientific article