01030nam0-22003611i-450-99000100829040332120070703121614.00-521-09697-9000100829FED01000100829(Aleph)000100829FED0100010082920001205d1972----km-y0itay50------baengIntroduction to combinatory logicJ.R. Hindley, B. Lercher and J.P. SeldinCambridgeCambridge University Press1972170 p.23 cmLondon Mathematical Society lecture note series7LogicaRicorsività160Hindley,James Roger46028Lercher,BruceSeldin,Jonathan PaulITUNINARICAUNIMARCBK9900010082904033217-1598676FI1C-9-(712508MA1FI1MA1Introduction to combinatory logic354811UNINA