Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA

From MaRDI portal
Publication:711565