On the connection between the abstract recursion theory and the method of successive approximations

From MaRDI portal