LEADER 02196nam a2200421 i 4500 001 991002948539707536 006 m o d 007 cr cnu|||unuuu 008 160721s2014 de o 000 0 eng d 020 $a9783642549366 035 $ab14258729-39ule_inst 040 $aBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematica$beng 082 0 $a511.34$223 084 $aAMS 03-06 084 $aAMS 03C10 084 $aAMS 03C45 084 $aAMS 03C60 084 $aLC QA9.7 245 00$aModel theory in algebra, analysis and arithmetic$h[e-book]:$bCetraro, Italy 2012 /$cLou van den Dries, H. Dugald Macpherson, Carlo Toffalori, editors 260 $aHeidelberg [Germany] :$bSpringer,$c2014 300 $a1 online resource (vii, 195 pages) 440 0$aLecture Notes in Mathematics,$x1617-9692 ;$v2111 500 $aOn cover and on tit. page: Fondazione CIME 505 0 $aSome themes around first order theories without the independence property ; Lectures on the model theory of real and complex exponentiation ; Lectures on the model theory of valued fields ; Undecidability in number theory 520 $aPresenting recent developments and applications, the book focuses on four main topics in current model theory: 1) the model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories; and 4) the model theory of real and complex exponentiation. Young researchers in model theory will particularly benefit from the book, as will more senior researchers in other branches of mathematics 650 0$aModel theory 650 0$aNumber theory 700 1 $aDries, Lou :$cvan den$eauthor$4http://id.loc.gov/vocabulary/relators/aut$061810 700 1 $aMacpherson, Dugald 700 1 $aToffalori, Carlo 773 0 $aSpringer eBooks 776 08$iPrinted edition:$z9783642549359 856 40$uhttp://link.springer.com/book/10.1007%2F978-3-642-54936-6$zAn electronic book accessible through the World Wide Web 907 $a.b14258729$b03-03-22$c21-07-16 912 $a991002948539707536 996 $aModel Theory in Algebra, Analysis and Arithmetic$92364189 997 $aUNISALENTO 998 $ale013$b21-07-16$cm$d@ $e-$feng$gde $h0$i0 LEADER 01465nam 2200421Ia 450 001 9910711292703321 005 20180711120948.0 024 8 $aGOVPUB-C13-b1b40afa80825a209bdac843db7b3ccd 035 $a(CKB)5470000002481090 035 $a(OCoLC)957470487 035 $a(OCoLC)995470000002481090 035 $a(EXLCZ)995470000002481090 100 $a20160829d1969 ua 0 101 0 $aeng 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFailure of hygrothermometer thermal shield top mounting plate /$fG.M. Ugiansky 210 1$aGaithersburg, MD :$cU.S. Dept. of Commerce, National Institute of Standards and Technology,$d1969. 215 $a1 online resource 225 1 $aNBS report ;$v10138 300 $a1969. 300 $aContributed record: Metadata reviewed, not verified. Some fields updated by batch processes. 300 $aTitle from PDF title page. 320 $aIncludes bibliographical references. 606 $aAluminum alloys$xCorrosion$xTesting 615 0$aAluminum alloys$xCorrosion$xTesting. 700 $aUgiansky$b G. M$01390256 701 $aUgiansky$b G. M$01390256 712 02$aUnited States.$bNational Bureau of Standards. 801 0$bNBS 801 1$bNBS 801 2$bOCLCO 801 2$bOCLCQ 906 $aBOOK 912 $a9910711292703321 996 $aFailure of hygrothermometer thermal shield top mounting plate$93502206 997 $aUNINA LEADER 01540nam 2200433Ia 450 001 9910699369303321 005 20230902161644.0 035 $a(CKB)5470000002402221 035 $a(OCoLC)554912491 035 $a(EXLCZ)995470000002402221 100 $a20100315d2009 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFlight attendant fatigue$hPart I$b[electronic resource] $enational duty, rest, and fatigue survey /$fKatrina Bedell Avers ... [and others] 210 1$aWashington, D.C. :$cFederal Aviation Administration, Office of Aerospace Medicine,$d2009. 215 $a1 online resource (vii, 17 pages) $cillustrations 300 $aTitle from PDF title screen (viewed on Mar. 15, 2010). 300 $a"December 2009." 300 $a"DOT/FAA/AM-09/24." 320 $aIncludes bibliographical references pages 16-17) 517 $aFlight attendant fatigue 606 $aFlight attendants$xEmployees$xEvaluation 606 $aSleep deprivation 606 $aMental fatigue 615 0$aFlight attendants$xEmployees$xEvaluation. 615 0$aSleep deprivation. 615 0$aMental fatigue. 700 $aBedell-Avers$b Katrina E$01190075 712 02$aCivil Aerospace Medical Institute. 712 02$aUnited States.$bOffice of Aerospace Medicine. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910699369303321 996 $aFlight attendant fatigue$93518713 997 $aUNINA