Restricted internal choice in a topos

From MaRDI portal
Publication:3688525