Lambda-calculus, combinators and functional programming Revesz, G.E. text Cambridge : Cambridge University Press 1988 N Logika simbolis dan matematis