Bimbo, Katalin, 1963-,

Combinatory logic : pure, applied, and typed / Katalin Bimbo - 345 páginas - Discrete mathematics and its applications .

Al pie de la portada: CRC Press

9781439800003 (encuadernado en tela : papel alcalino)


Lógica combinatoria

QA9.5 / B56

511.3