Crosilla, Laura <br/><br/>
From Sets and Types to Topology and Analysis: towards practicable foundations for constructive mathematics 
by Laura Crosilla 
 - New York  Oxford University Press  2005 
 - xix, 350 p. 
<br/><br/><p>1. Constructive Set Theories and The 
<br/><br/><label>ISBN: </label>9780198566519 
<br/><br/><label>Dewey Class. No.: </label>511.3622 CRO