LEADER 01248nam a2200301 i 4500 001 991001036989707536 005 20020507182050.0 008 960624s1975 it ||| | ita 035 $ab10792284-39ule_inst 035 $aLE01306074$9ExL 040 $aDip.to Matematica$beng 082 0 $a510 084 $aAMS 03-XX 100 1 $aHindley, J. Roger$046028 245 10$aIntroduzione alla logica combinatoria /$cJ. R. Hindley, Bruce Lercher, J. P. seldin 260 $aTorino :$bBoringhieri,$c1975 300 $a153 p. ;$c21 cm. 490 0 $aTesti e manuali della scienza contemporanea. Serie di logica matematica 500 $aTit. orig.: Introduction to combinatory Logic. - Londra : Cambridge University Press, 1972 650 4$aMathematical logic and foundations-textbooks 700 1 $aLercher, Bruce$eauthor$4http://id.loc.gov/vocabulary/relators/aut$047739 700 1 $aSeldin, Jonathan P. 907 $a.b10792284$b23-02-17$c28-06-02 912 $a991001036989707536 945 $aLE013 03-XX HIN11 (1975)$g1$i2013000051741$lle013$o-$pE0.00$q-$rl$s- $t0$u5$v0$w5$x0$y.i1089309x$z28-06-02 996 $aIntroduzione alla logica combinatoria$91455702 997 $aUNISALENTO 998 $ale013$b01-01-96$cm$da $e-$fita$git $h0$i1