00462     2200157   4500001002100000008003900021035002000060245006000080100001700140260005000157300002300207084001600230082001000246650003400256990001400290INLIS000000000005695                                   N    a0010-0317005693  aLambda-calculus, combinators and functional programming  aRevesz, G.E.  aCambridge :bCambridge University Pressc1988  ax, 181 hlm.c25 cm  a511.3 Rev l  a511.3  aLogika simbolis dan matematis  a324491112