The comprehension construction

From MaRDI portal
Publication:3121023