Sommaruga, Giovanni <br/><br/>
History and philosophy of constructive type theory / 
by Giovanni Sommaruga 
 - Dordrecht :  Kluwer Academic,  c2000 
 - x, 354 p. ;  25 cm. 
 - Synthese library ;  v. 290 .
<br/><br/>Bibliography : p. 349-354 
<br/><br/><label>ISBN: </label>0792361806 :  USD 290.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Type theory
<br/><br/><label>Dewey Class. No.: </label>511.3