LEADER 01139nam a2200301 i 4500
001 991001150359707536
005 20020507184156.0
008 960327s1981    it            ||| | ita  
035   $ab10807779-39ule_inst
035   $aLE01307826$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.3
084   $aAMS 03B40
100 1 $aMaionchi. U.$0348972
245 12$aI modelli del [lambda]-calcolo e dell'aritmetica di Peano /$cU. Maionchi, S. Berestovoy, G. Longo
260   $a[Roma] :$bCNR (Consiglio Nazionale delle Ricerche),$c1981
300   $a96 p. ;$c25 cm.
490 0 $aQuaderni dei Gruppi di ricerca matematica del Consiglio Nazionale delle Ricerche
650  4$aCombinatory logic
650  4$aLambda calculus
700 1 $aBerestovoy, S.
700 1 $aLongo, Giuseppe
907   $a.b10807779$b23-02-17$c28-06-02
912   $a991001150359707536
945   $aLE013 03B MAI11 (1981)$g1$i2013000044873$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10912794$z28-06-02
996   $aModelli del calcolo e dell'aritmetica di Peano$9342292
997   $aUNISALENTO
998   $ale013$b01-01-96$cm$da  $e-$fita$git $h2$i1