Crosilla, Laura  <br/><br/>
From sets and types to topology and analysis  towards practicable foundations for constructive mathematics 

 - Oxford  Clarendon Press  2005 
 - xix,350p.  24cm 
<br/><br/><label>ISBN: </label>0198566514 
<br/><br/><label>Subjects--Topical Terms: </label><br/>General principles of mathematics<br/>Mathematics
<br/><br/><label>Dewey Class. No.: </label>511.36  / FRO