Effectively infinite classes of numberings and fixed point theorems

From MaRDI portal
Publication:6587480