Lower bound arguments with ``inaccessible numbers

From MaRDI portal
Publication:1107308