| Type |  Book |
| ชื่อเรื่อง | Combinatory logic [electronic resource] : pure, applied and typed / Katalin Bimbo |
| ผู้แต่ง | Bimbo, Katalin |
| ISBN | 9781439800003 |
| | 9781439800003 (hc) |
| พิมพลักษณ์ | Boca Raton, FL : CRC Press, c2012 |
| รูปเล่ม | xi, 345 p. : ill |
| ลิงค์ | COMPUTER FILE |
| หัวเรื่อง | COMBINATORY LOGIC |