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