Classes of recursive functions based on Ackermann's function

From MaRDI portal
Publication:2395748