Relativizing relativized computations

From MaRDI portal
Publication:1822968