LEADER 01436nam a2200361 i 4500 001 991000759389707536 005 20020507173224.0 008 950215s1958 ||| ||| | eng 020 $a0720422086 (v. 2) 035 $ab10753369-39ule_inst 035 $aLE01301901$9ExL 040 $aDip.to Matematica$beng 082 0 $a511.3 084 $aAMS 03B40 084 $aQA9.5 100 1 $aCurry, Haskell B.$0557 245 10$aCombinatory logic /$cHaskell B. Curry, Robert Feys, J. Roger Hindley, Jonathan P. Seldin ; with two sections by William Craig 260 $aAmsterdam :$bNorth-Holland,$c1958-1972 300 $a2 v. ;$c24 cm. 490 0 $aStudies in logic and the foundations of mathematics, ISSN 0049237X 500 $aIncludes bibliographies 650 4$aCombinatory logic 700 1 $aFeys, Robert$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0559 700 1 $aHindley, J. Roger 700 1 $aSeldin, Jonathan P. 700 1 $aCraig, William 907 $a.b10753369$b23-02-17$c28-06-02 912 $a991000759389707536 945 $aLE013 03B CUR11 V.I (1958)$cV. 1$g1$i2013000021089$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10847017$z28-06-02 945 $aLE013 03B CUR11 V.II (1972)$cV. 2$g1$i2013000021096$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10847029$z28-06-02 996 $aCombinatory logic$9353311 997 $aUNISALENTO 998 $ale013$b01-01-95$cm$da $e-$feng$gxx $h0$i2