LEADER 01026nam0-22003251i-450- 001 990001007390403321 035 $a000100739 035 $aFED01000100739 035 $a(Aleph)000100739FED01 035 $a000100739 100 $a20000920d1965----km-y0itay50------ba 101 0 $aeng 200 1 $aEnumerability, Decidability, Computability$eAn Introduction to the Theory of Recursive Functions$fby Hans Hermes$gtranslated by G.T. Herman and O. Plassmann 210 $aBerlin [etc.]$cSpringer-Verlag$d1965 215 $aIX, 245 p.$d24 cm 225 1 $a<>Grundlehren der mathematischen Wissenschaften$vbd. 127 610 0 $aLogica 610 0 $aRicorsività 676 $a160 700 1$aHermes,$bHans$042101 702 1$aHerman,$bGabor Tamas 702 1$aPlassmann,$bO. 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001007390403321 952 $a7-129$b4758$fFI1 959 $aFI1 996 $aEnumerability, Decidability, Computability$9354898 997 $aUNINA DB $aING01 LEADER 02010oam 2200625 450 001 9910716716503321 005 20210901152752.0 035 $a(CKB)5470000002525014 035 $a(OCoLC)919378327 035 $a(EXLCZ)995470000002525014 100 $a20150830d2015 ua 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFederal reinsurance for terrorism risk in 2015 and beyond /$fDavid Torregrosa, Perry Beider, and Susan Willie 210 1$aWashington, DC :$cCongressional Budget Office,$d2015. 215 $a1 online resource (approximately 41 pages) $cillustrations 225 1 $aWorking paper ;$v2015-04 300 $a"June 2015." 320 $aIncludes bibliographical references. 606 $aTerrorism insurance$zUnited States 606 $aRisk (Insurance)$zUnited States 606 $aFinancial reinsurance$zUnited States 606 $aTerrorism$xEconomic aspects$zUnited States 606 $aDisaster insurance$zUnited States 606 $aDisaster insurance$2fast 606 $aReinsurance$2fast 606 $aRisk (Insurance)$2fast 606 $aTerrorism insurance$2fast 607 $aUnited States$2fast 615 0$aTerrorism insurance 615 0$aRisk (Insurance) 615 0$aFinancial reinsurance 615 0$aTerrorism$xEconomic aspects 615 0$aDisaster insurance 615 7$aDisaster insurance. 615 7$aReinsurance. 615 7$aRisk (Insurance) 615 7$aTerrorism insurance. 700 $aTorregrosa$b David$01384642 702 $aBeider$b Perry 702 $aWillie$b Susan 712 02$aUnited States.$bCongressional Budget Office, 801 0$bDID 801 1$bDID 801 2$bOCLCO 801 2$bOCLCQ 801 2$bOCLCF 801 2$bGPO 906 $aBOOK 912 $a9910716716503321 996 $aFederal reinsurance for terrorism risk in 2015 and beyond$93534456 997 $aUNINA