01265cam0-22004811i-450 99000098006040332120230731144546.00-7204-2208-6000098006FED01000098006(Aleph)000098006FED0100009800620001205g19581972km-y0itay50------baengNLy-------001yyCombinatory logicHaskell B. Curry ... [et al.]AmsterdamNorth-Holland1958-19722 v.23 cmStudies in logic and the foundations of mathematicsLogicaRicorsivitàLogica combinatoriaLogica e fondamenti160511.3Curry,Haskell B.557ITUNINARICAUNIMARCBK990000980060403321MXXXII-B-9421MAS7-039439FI17-039/001FI113 K 61 3723344FINBCC-30-(29-15562MA1Fil. Teor. 32353642FLFBCFI1FINBCMA1MASFLFBCCombinatory Logic344022UNINA