On certain expressions of the rank function, independent of the theory of ordinals

From MaRDI portal
Publication:6489543