LEADER 01056nam a2200253 i 4500 001 991002543569707536 005 20020508202038.0 008 951219s1985 uk ||| | eng 020 $a0854810633 035 $ab11025621-39ule_inst 035 $aPARLA164684$9ExL 040 $aDip.to Scienze dell'Antichitą$bita 100 1 $aPseudo-Beda$0538896 245 10$aDe mundi celestis terrestrisque constitutione :$ba treatise on the Universe and the Soul /$cPseudo-Bede ; edited and traslated by Charles Burnett 260 $aLondon :$bThe Warburg Institute University,$c1985 300 $aVI, 88 p. ;$c25 cm. 490 0 $aWarburg Institute Surveys and texts ;$v10 700 1 $aBurnett, Charles 907 $a.b11025621$b23-02-17$c28-06-02 912 $a991002543569707536 945 $aLE007 870.1 Beda 1985-01$g1$i2015000106506$lle007$nLE007 2014 CC$o-$pE0.00$q-$rl$s- $t0$u1$v0$w1$x0$y.i1114581x$z28-06-02 996 $aDe mundi celestis terrestrisque constitutione$9861907 997 $aUNISALENTO 998 $ale007$b01-01-95$cm$da $e-$feng$guk $h0$i1 LEADER 01912nam2-2200529li-450 001 990000112980203316 005 20240625123507.0 035 $a0011298 035 $aUSA010011298 035 $a(ALEPH)000011298USA01 035 $a0011298 100 $a20001109d1969----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aEnumerability, decidability, computability$ean introduction to the theory of recursive functions$fHans Hermes$gtranslated by G. T. Hermann and O. Plassmann 205 $a2nd revised ed 210 $aBerlin [etc.]$cSpringer-Verlag$d1969 215 $aX, 245 p.$d24 cm 225 2 $a<> Grundlehren der Mathematischen Wissenschaften$v127 312 $aTrad. di: aufzählbarkeit, entscheidbarkeit, berechenbarkeit. 410 0$1001000316845$12001$a<> Grundlehren der Mathematischen Wissenschaften 606 0 $aAnalisi matematica$2BNCF 606 0 $aLogica matematica$2BNCF 606 0 $aModelli matematici$2BNCF 676 $a515 700 1$aHERMES,$bHans$042101 702 1$aHERMANN,$bG. T. 702 1$aPLASSMANN,$bO. 801 0$aIT$bcba$gREICAT 912 $a990000112980203316 951 $a510 GLM (127,A)$b0000935 CBS$c510$d00108735 951 $a510 GLM (127,B)$b0000936 CBS$c510$d00108736 951 $a510 GLM (127,C)$b0000939 CBS$c510$d00108737 951 $a510 GLM (127,D)$b0000937 CBS$c510$d00108738 951 $a510 GLM (127,E)$b0000938 CBS$c510$d00108739 959 $aBK 969 $aSCI 979 $c19900321 979 $c20001110$lUSA01$h1711 979 $aALANDI$b90$c20010614$lUSA01$h1122 979 $aALANDI$b90$c20010614$lUSA01$h1123 979 $aALANDI$b90$c20010614$lUSA01$h1127 979 $aALANDI$b90$c20010614$lUSA01$h1220 979 $c20020403$lUSA01$h1619 979 $aPATRY$b90$c20040406$lUSA01$h1609 996 $aEnumerability, Decidability, Computability$9354898 997 $aUNISA