From sets and types to topology and analysis :  towards practicable foundations for constructive mathematics / 
edited by Laura Crossila and Peter Schuster 
 - xix, 350 páginas :  ilustraciones 
 - Oxford logic guides ;  48 .
<br/><br/> "This volume arose from the workshop, with the same title, held from 12 to 16 May, 2003 at Venice International University"--Pról. 
<br/><br/><label>ISBN: </label>0198566514 (empastado) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Matematicas constructivas--Congresos
<br/><br/><label>LC Class. No.: </label>QA9.56  / F76 
<br/><br/><label>Dewey Class. No.: </label>511.36