1-1 of 1
Keywords: independence proofs
Save search
Sort by
Chapter

PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES Get access

Nicola Gambino
in From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics
Published: 06 October 2005