TY  - BOOK
AU  - Bimbo,Katalin
TI  - Combinatory logic: pure, applied, and typed 
T2  - Discrete mathematics and its applications
SN  - 9781439800003 (encuadernado en tela : papel alcalino)
AV  - QA9.5 B56
U1  - 511.3 23
PY  - 2012///
CY  - Boca Raton
PB  - Taylor & Francis
KW  - Lógica combinatoria
N1  - Al pie de la portada: CRC Press
ER  -