Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees

From MaRDI portal
(Redirected from Publication:582289)