Logical and cohomological aspects of the space of points of a topos (1996)

by C Butz