From sets and types to topology and analysis : towards practicable foundations for constructive mathematics 
edited by Laura Crossila and Peter Schuster 
 - Oxford  Clarendon Press ; Oxford University Press  2005 
 - xix, 350 p. : ill. ; 24 cm 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780198566519 
<br/><br/><label>ISSN: </label>2006296109 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Analyse (wiskunde)<br/>Constructieve wiskunde<br/>Constructive mathematics - Congresses<br/>Topologie
<br/><br/><label>Dewey Class. No.: </label>511.36 C RO