00509     2200169   4500001002100000005001500021035002000036008004100056245007500097100001700172260005100189300002500240084001600265082001000281650003400291990001400325INLIS00000000000569520260420023547  a0010-0317005693260420                           0      1 aLambda-calculus, combinators and functional programming /cG.E. Revesz1 aRevesz, G.E.  aCambridge :bCambridge University Press,c1988  ax, 181 hlm. ;c25 cm  a511.3 Rev l  a511.3  aLogika simbolis dan matematis  a324491112