Kamareddine, Fairouz. <br/><br/>
A Modern Perspective on Type Theory  From its Origins until Today /  [recurso electrónico] : 
by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. 
 - Dordrecht :  Springer Science + Business Media, Inc.,  2005. 
 - p. 
 - Applied Logic Series,  29  1386-2790 ; .
<br/><br/> Acceso sólo para usuarios de REDUNAM 
<br/><br/>
<br/><br/><br/>Reproducción electrónica. <br/>New York : Springer, <br/>[2009] 
<br/><br/><label>ISBN: </label>9781402023354 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computación<br/>Lógica<br/>Lógica simbólica y matemática
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Libros electrónicos.
<br/><br/><label>LC Class. No.: </label>Libro electrónico (Catalogación en proceso)