LEADER 01046nam--2200385---450- 001 990005807540203316 005 20130213133401.0 010 $a90-04-11591-9 035 $a000580754 035 $aUSA01000580754 035 $a(ALEPH)000580754USA01 035 $a000580754 100 $a20130213d1999----km-y0itay50------ba 101 $aeng 102 $aNL 105 $a||||||||001yy 200 1 $aPtolemy Harmonics$etranslation and commentary$fby Jon Solomon 210 $aLeiden [etc.]$cBrill$d1999 215 $aXXXVII,192 p. 225 2 $aMnemosyne. Supplementum$v203 410 0$12001$aMnemosyne. Supplementum$v203 454 1$12001 461 1$1001-------$12001 606 0 $aMusica greca$2BNCF 676 $a781.3 700 1$aSOLOMON,$bJon$0158291 702 1$aPTOLEMAEUS,$bClaudius 801 0$aIT$bsalbc$gISBD 912 $a990005807540203316 951 $aFG 137,3$b7910 DSA 959 $aBK 969 $aDSA 979 $aDSA$b90$c20130213$lUSA01$h1334 996 $aPtolemy Harmonics$91089472 997 $aUNISA 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 01836nam0 2200409 i 450 001 LO10400332 005 20251003044210.0 010 $a8802050422 020 $aIT$b97-2375 100 $a20130827d1996 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aAtti del procedimento penale$eforma e struttura$fcontributi di GiuseppeDi Chiara ... [et al.!$gcoordinati da Enrico Marzaduri 210 $aTorino$cUTET$d[1996! 215 $aXI, 251 p.$d25 cm. 225 | $aGiurisprudenza sistematica di diritto processuale penale 410 0$1001RMG0018832$12001 $aGiurisprudenza sistematica di diritto processuale penale 606 $aAtti processuali penali$2FIR$3CFIC001478$9I 676 $a345.4505$9PROCEDURA PENALE. ITALIA$v21 676 $a345.4507$9PROCESSO PENALE. ITALIA$v20 676 $a345.4507$9PROCESSO PENALE. ITALIA$v22 702 1$aChiavario$b, Mario$3CFIV008349 702 1$aMarzaduri$b, Enrico$3CFIV056739 702 1$aDi Chiara$b, Giuseppe$f <1964- >$3MILV116187 790 1$aDi Chiara$b, G.$f <1964- >$3CFIV369326$zDi Chiara, Giuseppe <1964- > 801 3$aIT$bIT-000000$c20130827 850 $aIT-BN0095 $aIT-AV0007 901 $bNAP 01$cD $n$ 901 $bNAP AV$cSALA C $nSala consultazione 901 $bNAP AV$cSEZ. M $nSezione Moderna 912 $aLO10400332 950 0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01D (AR) 20 666$e 01AR 0700206665 VMA A4 1 v.$fY $h19970317$i20181029$c1 v. in due copie$d 01D (AR) 21 584$e 01AR 0700215845 VMA A4(bis 1 v. (2. copia)$fY $h19970825$i20181105 977 $a 01$a AV 996 $aAtti del procedimento penale$9195041 997 $aUNISANNIO