Systems of Logic Based on Ordinals†
scientific article; zbMATH DE number 3033845