01243nam2-2200385---450-99000322881020331620091110095854.0000322881USA01000322881(ALEPH)000322881USA0100032288120090427d197274--km-y0itay50------baengNL||||||||001yyCombinatory logicHaskell B. Curry...[et. al]A. Heyting...[et al.] (Eds.)AmsterdamNorth-Holland1972-74v.ill.23 cmStudies in logic and the foundations of mathematics14-65<<Vol. 1:>> XVIII, 417 p. - <<Vol. 2:>> XIV, 520 p.0010003345862001Studies in logic and the foundations of mathematics14-65Logica matematica511.3HASKELL,B. Curry561577HEYTING,A.ITsalbcISBD990003228810203316510 SL 142753/CBS51000218728510 SL 652754/CBS51000218729BKSCIRSIAV79020090427USA011145RSIAV79020091110USA010958Combinatory logic1013425UNISA