00847nam0-22002891i-450 99000481143040332120180404100603.000048114319990604d1978----km-y0itay50------baitalatITy-------001yyArs de orthographiaAgroeciusa cura di Mariarosaria PugliarelloMilanoMarzorati1978223 p.22 cmCollana di grammatici latiniOrtografia47022itaAgroecius :Senonensis<5. saec.>294645Pugliarello,MariarosariaITUNINARICAUNIMARCBK990004811430403321P2B 650 AGROECIUS 401A 1978Fil. Mod. 30957FLFBCFLFBCArs de orthographia518903UNINA01054nam a2200313 i 450099100077588970753620020507173431.0961210s1977 de ||| | eng 3540081321b10755573-39ule_instLE01302132ExLDip.to Matematicaeng511.3AMS 03DMoldestad, Johan48583Computations in higher types /Johan MoldestadBerlin :Springer-Verlag,1977203 p. ;25 cmLecture notes in mathematics,0075-8434 ;574Bibliography: p. [195]-196Includes indexRecursion theoryRecursive functions.b1075557323-02-1728-06-02991000775889707536LE013 03D MOL11 (1977)12013000067308le013-E0.00-l- 02020.i1084981628-06-02Computations in higher types80729UNISALENTOle01301-01-96ma -engde 01