Kamareddine, Fairouz. <br/><br/>
A Modern Perspective on Type Theory  From its Origins until Today /  [electronic resource] : 
by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. 
 - Dordrecht :  Springer Science + Business Media, Inc.,  2005. 
 -  v.: digital 
 - Applied Logic Series,  29  1386-2790 ; .
<br/><br/><label>ISBN: </label>9781402023354 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics<br/>Logic<br/>Computer science<br/>Logic, Symbolic and mathematical<br/>Mathematics<br/>Mathematical Logic and Foundations<br/>Mathematics of Computing<br/>Logic
<br/><br/><label>LC Class. No.: </label>QA9   / K36 2005