Sommaruga, Giovanni <br/><br/>
History and philosophy of constructive type theory 
by Giovanni Sommaruga 
 - Dordrecht ; Boston  Kluwer  c2000 
 - x, 354 p. ; 25 cm., : acid-free paper 
<br/><br/> Includes bibliographical references 
<br/><br/><label>ISBN: </label>9780792361800 
<br/><br/><label>ISSN: </label>25107 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Type theory
<br/><br/><label>Dewey Class. No.: </label>511.3 SOM