Completeness and fixed-points

From MaRDI portal
Publication:1219613