From sets and types to topology and analysis 

 - Oxford :  Clarendon,   2003 at Venice International University"--Preface." 
 - 1 online resource (xix, 350 p.) :  ill. 
 - held from 12 to 16 May .
<br/><br/> This volume arose from the workshop 
<br/><br/><label>ISBN: </label>9780198566519 (print) | 9780191713927 (ebook) :