160 / B51c
Bimbo, Katalin
Combinatory logic : pure, applied and typed
/ Katalin Bimbo
.- Boca Raton: Crc Press, 2012
.- xi, 345p .
.- ( Discrete Mathematics And Its Applications / Edited By Kenneth H. Rosen
Includes Bibliographical References And Index
ISBN: 9781439800003
Subject Headings:
Combinatory logic;
Copy Details:
Acc. No.: A172405, Full Call No.: 160 B51c, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------