Primiero, Giuseppe <br/><br/>
Information and knowledge:  a constructive type-theoretical approach 

 - Netherlands  Springer  2008 
 - 208p. 
<br/><br/>   
<br/><br/><label>ISBN: </label>9781402061691 
<br/><br/><label>Subjects--Index Terms: </label>Knowledge  Epistemology 
<br/><br/><label>Universal Decimal Class. No.: </label>165  / PRI