TY  - BOOK
AU  - Bimbó,Katalin
TI  - Combinatory logic: pure, applied and typed 
T2  - Discrete mathematics and its applications
SN  - 9781439800003 (hardcover : alk. paper)
PY  - 2012///
CY  - Boca Raton, FL
PB  - CRC Press
KW  - Combinatory logic
N1  - Includes bibliographical references and index
ER  -