Internal Presheaf Toposes, Cahiers de (1977)

by M Bunge