Grothendieck toposes have boolean points a new proof

From MaRDI portal
Publication:4133795