LEADER 02109nam 2200565 450 001 9910829051803321 005 20170821171854.0 010 $a1-4704-0120-7 035 $a(CKB)3360000000464725 035 $a(EBL)3113957 035 $a(SSID)ssj0000888781 035 $a(PQKBManifestationID)11932374 035 $a(PQKBTitleCode)TC0000888781 035 $a(PQKBWorkID)10865841 035 $a(PQKB)11028531 035 $a(MiAaPQ)EBC3113957 035 $a(RPAM)3961661 035 $a(PPN)195414241 035 $a(EXLCZ)993360000000464725 100 $a20140909h19951995 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAutomorphisms of the lattice of recursively enumerable sets /$fPeter Cholak 210 1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d1995. 210 4$d©1995 215 $a1 online resource (166 p.) 225 1 $aMemoirs of the American Mathematical Society,$x0065-9266 ;$vNumber 541 300 $a"January 1995, Volume 113, Number 541 (first of 4 numbers)." 311 $a0-8218-2601-8 320 $aIncludes bibliographical references. 327 $a""Table of Contents""; ""Chapter I: Introduction""; ""Chapter II: The Extension Theorem Revisited""; ""Chapter III: The High Extension Theorems""; ""Chapter IV: The Proof of the High Extension Theorem I""; ""Chapter V: The Proof of the High Extension Theorem II""; ""Chapter VI: Lowness Notions in the Lattice of R.E. Sets""; ""Bibliography"" 410 0$aMemoirs of the American Mathematical Society ;$vNumber 541. 606 $aRecursively enumerable sets 606 $aAutomorphisms 606 $aLattice theory 615 0$aRecursively enumerable sets. 615 0$aAutomorphisms. 615 0$aLattice theory. 676 $a511.3/5 700 $aCholak$b Peter$f1962-$01647566 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910829051803321 996 $aAutomorphisms of the lattice of recursively enumerable sets$93995203 997 $aUNINA LEADER 01273nam0 22002773i 450 001 VAN0092988 005 20130312023406.788 010 $a88-86599-14-5 100 $a20130312d1998 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aˆLa ‰città antica tra storia e urbanistica, 1913-1957$fPaolo Rosa$gsaggio introduttivo di Gaetano Miarelli Mariani 205 $aRoma : Librerie Dedalo$b[1998] 210 $d193 p. : ill. ; 24 cm 215 $aSegue: Appendici. - Nell'occhietto: Università degli studi di Roma La Sapienza, Dipartimento di storia dell'architettura, restauro e conservazione dei beni architettonici. 620 $dRoma$3VANL000360 700 1$aRosa$bPaolo$3VANV074773$039529 702 1$aMiarelli Mariani$bGaetano$3VANV023774 712 $aDedalo $3VANV108286$4650 801 $aIT$bSOL$c20240719$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE$1IT-CE0107$2VAN01 912 $aVAN0092988 950 $aBIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE$d01PREST IBc89 $e01 51887 20130312 996 $aCittà antica tra storia e urbanistica, 1913-1957$91409165 997 $aUNICAMPANIA