na INLIS000000000005695 N 0010-0317005693 Lambda-calculus, combinators and functional programming Revesz, G.E. Cambridge : Cambridge University Press 1988 x, 181 hlm. 25 cm 511.3 Rev l 511.3 Logika simbolis dan matematis 324491112