01139nam a2200301 i 450099100115035970753620020507184156.0960327s1981 it ||| | ita b10807779-39ule_instLE01307826ExLDip.to Matematicaeng511.3AMS 03B40Maionchi. U.348972I modelli del [lambda]-calcolo e dell'aritmetica di Peano /U. Maionchi, S. Berestovoy, G. Longo[Roma] :CNR (Consiglio Nazionale delle Ricerche),198196 p. ;25 cm.Quaderni dei Gruppi di ricerca matematica del Consiglio Nazionale delle RicercheCombinatory logicLambda calculusBerestovoy, S.Longo, Giuseppe.b1080777923-02-1728-06-02991001150359707536LE013 03B MAI11 (1981)12013000044873le013-E0.00-l- 00000.i1091279428-06-02Modelli del calcolo e dell'aritmetica di Peano342292UNISALENTOle01301-01-96ma -itait 21