Bimbó, Katalin <br/><br/>
Combinatory logic :  pure, applied and typed / 
Katalin Bimbó 
 - Boca Raton, FL :  CRC Press,  2012 
 - xi, 345 p. :  ill. ;  24 cm. 
 - Discrete mathematics and its applications .
 - Discrete mathematics and its applications .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9781439800003 (hardcover : alk. paper) 1439800006 (hardcover : alk. paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Combinatory logic