TY  - BOOK
AU  - Bimbo,Katalin
TI  - Combinatory logic: pure, applied and typed 
T2  - Discrete mathematics and its applications
SN  - 9781439800010 (ebook : PDF)
PY  - 2012///
CY  - Boca Raton
PB  - Taylor & Francis
KW  - Combinatory logic
N1  - Includes bibliographical references (p. 321-330) and index
UR  - http://marc.crcnetbase.com/isbn/9781439800010
ER  -