LEADER 02096nam  2200565   450 
001 996466663403316
005 20220908200906.0
010   $a3-540-37425-6
024 7 $a10.1007/BFb0087822
035   $a(CKB)1000000000438228
035   $a(SSID)ssj0000322060
035   $a(PQKBManifestationID)12064915
035   $a(PQKBTitleCode)TC0000322060
035   $a(PQKBWorkID)10281156
035   $a(PQKB)10475895
035   $a(DE-He213)978-3-540-37425-1
035   $a(MiAaPQ)EBC5594655
035   $a(Au-PeEL)EBL5594655
035   $a(OCoLC)1076259059
035   $a(MiAaPQ)EBC6842303
035   $a(Au-PeEL)EBL6842303
035   $a(PPN)155214160
035   $a(EXLCZ)991000000000438228
100   $a20220908d1977      uy             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aComputations in higher types /$fJ. Moldestad
205   $a1st ed. 1977.
210  1$aBerlin, Germany :$cSpringer,$d[1977]
210  4$d©1977
215   $a1 online resource (VIII, 208 p.) 
225 1 $aLecture Notes in Mathematics,$x0075-8434 ;$v574
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-08132-1 
327   $aAbstract -- The computation domain -- Recursion on ? -- Connection with Kleene recursion in higher types -- Recursion in normal lists on ? -- Kleene recursion in normal objects of type n+2, n>0 -- Computation theories on ? -- Abstract Kleene theories -- Normal computation theories on ? -- More about Mahloness -- Calculation of the lengths of some computations -- Gaps -- On platek: ?Foundations of recursion theory? -- A final comment concerning the two types.
410  0$aLecture Notes in Mathematics,$x0075-8434 ;$v574
606   $aRecursive functions
615  0$aRecursive functions.
676   $a511.352
700   $aMoldestad$b Johan$f1946-$048583
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466663403316
996   $aComputations in higher types$980729
997   $aUNISA

LEADER 01230nam0 22002891i 450 
001 UON00125051
005 20231205102732.892
100   $a20020107d1863       |0itac50      ba
101   $aita
102   $aIT
105   $a||||    1||||
200 1 $aˆI ‰Viaggi di Marco Polo secondo la lezione del Codice Magliabechiano più antico$eReintegrati col testo francese a stampa per cura di Adolfo Bartoli$fMarco Polo
210   $aFirenze$cFelice Le Monnier$d1863
215   $a1 v.$d23 cm
606   $aMarco Polo (1254-1324)$3UONC003932$2FI
606   $aVIAGGIATORI EUROPEI$xASIA$xSEC. XIV$3UONC000874$2FI
620   $aIT$dFirenze$3UONL000052
686   $aINT VIII B$cINTERAREALE - VIAGGI$2A
702  1$aBartoli$bAdolfo$3UONV077536
702  1$aPolo$bMarco$3UONV002605
712   $aLe Monnier$3UONV249266$4650
801   $aIT$bSOL$c20250905$gRICA
899   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI
912   $aUON00125051
950   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI RARI      INT                     VIII B      019                 $eSI MR 35503    7        019                 
996   $aViaggi di Marco Polo secondo la lezione del Codice Magliabechiano più antico$91317336
997   $aUNIOR