TY  - BOOK
AU  - Bimb�o,Katalin
TI  - Combinatory logic: pure, applied and typed 
T2  - Discrete mathematics and its applicati
SN  - 9781439800010 (ebook : PDF)
PY  - 0000///20
CY  - Boca Raton
PB  - Taylor & Francis
KW  - Combinatory log
KW  - Electronic books
KW  - l
N1  - Includes bibliographical references (p. 321-330) and ind; 1. Elements of combinatory logic -- 2. Main theorems -- 3. Recursive functions and arithmetic -- 4. Connections to ?-calculi -- 5. (In)equational combinatory logic -- 6. Models -- 7. Dual and symmetric combinatory logics -- 8. Applied combinatory logic -- 9. Typed combinatory log; Also available in print editi
UR  - http://marc.crcnetbase.com/isbn/9781439800010
ER  -