LEADER 02801nam 2200625 450 001 9910464585403321 005 20200520144314.0 010 $a0-309-28296-9 035 $a(CKB)3710000000103210 035 $a(EBL)3379068 035 $a(SSID)ssj0001119890 035 $a(PQKBManifestationID)12489830 035 $a(PQKBTitleCode)TC0001119890 035 $a(PQKBWorkID)11148464 035 $a(PQKB)11314202 035 $a(MiAaPQ)EBC3379068 035 $a(Au-PeEL)EBL3379068 035 $a(CaPaEBR)ebr10863716 035 $a(OCoLC)923287733 035 $a(EXLCZ)993710000000103210 100 $a20140505h20132013 uy| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aSodium intake in populations $eassessment of evidence /$fCommittee on the Consequences of Sodium Reduction in Populations, Food and Nutrition Board, Board on Population Health and Public Health Practice ; Brian L. Strom, Ann L. Yaktine, and Maria Oria, editors ; Institute of Medicine of the National Academies 210 1$aWashington, District of Columbia :$cThe National Academies Press,$d[2013] 210 4$dİ2013 215 $a1 online resource (224 p.) 300 $aDescription based upon print version of record. 311 $a0-309-28295-0 320 $aIncludes bibliographical references. 327 $a""Front Matter""; ""Reviewers""; ""Preface""; ""Contents""; ""Summary""; ""1 Introduction""; ""2 Approach to Evidence Review""; ""3 Sodium Intake and Intermediate Markers for Health Outcomes""; ""4 Sodium Intake and Health Outcomes""; ""5 Findings and Conclusions""; ""Appendix A: Acronyms and Abbreviations""; ""Appendix B: Committee Member Biographical Sketches""; ""Appendix C: Open Session Agendas""; ""Appendix D: Biomarkers Figure""; ""Appendix E: Literature Search Strategy""; ""Appendix F: Presentation of Results Evidence Tables"" 606 $aFood$xSodium content$zUnited States 606 $aSodium in the body$zUnited States 606 $aNutrition policy$zUnited States 608 $aElectronic books. 615 0$aFood$xSodium content 615 0$aSodium in the body 615 0$aNutrition policy 676 $a613.28522 702 $aStrom$b Brian L. 702 $aYaktine$b Ann L. 702 $aOria$b Maria 712 02$aInstitute of Medicine (U.S.).$bCommittee on the Consequences of Sodium Reduction in Populations, 712 02$aInstitute of Medicine (U.S.).$bFood and Nutrition Board, 712 02$aInstitute of Medicine (U.S.).$bBoard on Population Health and Public Health Practice, 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910464585403321 996 $aSodium intake in populations$92168893 997 $aUNINA LEADER 04527nam 2200793 450 001 9910787095703321 005 20230803204650.0 010 $a1-61451-940-4 010 $a1-61451-804-1 024 7 $a10.1515/9781614518044 035 $a(CKB)3710000000228910 035 $a(EBL)1652547 035 $a(SSID)ssj0001368329 035 $a(PQKBManifestationID)11978559 035 $a(PQKBTitleCode)TC0001368329 035 $a(PQKBWorkID)11447983 035 $a(PQKB)11783504 035 $a(MiAaPQ)EBC1652547 035 $a(DE-B1597)427819 035 $a(OCoLC)890071023 035 $a(OCoLC)900716277 035 $a(DE-B1597)9781614518044 035 $a(Au-PeEL)EBL1652547 035 $a(CaPaEBR)ebr11006242 035 $a(CaONFJC)MIL806143 035 $a(EXLCZ)993710000000228910 100 $a20140721h20142014 uy| 0 101 0 $aeng 135 $aurnn#---uu|uu 181 $ctxt 182 $cc 183 $acr 200 00$aLogic, computation, hierarchies /$fedited by Vasco Brattka, Hannes Diener, Dieter Spreen 210 1$aBoston :$cDe Gruyter,$d[2014] 210 4$dİ2014 215 $a1 online resource (424 p.) 225 1 $aOntos mathematical logic,$x2198-2341 ;$vvolume 4 300 $aDescription based upon print version of record. 311 0 $a1-61451-783-5 320 $aIncludes bibliographical references and index. 327 $tFront matter --$tPreface --$tContents --$tThe life and work of Victor L. Selivanov /$rSpreen, Dieter --$tTight extensions of T0-quasi-metric spaces /$rAgyingi, Collins Amburo / Haihambo, Paulus / Künzi, Hans-Peter A. --$tOn the strongly bounded turing degrees of simple sets /$rAmbos-Spies, Klaus --$tLevels of discontinuity, limit-computability, and jump operators /$rde Brecht, Matthew --$tThe wadge hierarchy of Petri Nets ?-languages /$rDuparc, Jacques / Finkel, Olivier / Ressayre, Jean-Pierre --$tDiophantine properties of brownian motion: recursive aspects /$rFouché, Willem L. --$tThe completeness of isomorphism /$rSy-David, Friedman --$tComplexity issues for Preorders on finite labeled forests /$rHertling, Peter / Selivanov, Victor --$tBoolean algebras of regular quasi-aperiodic languages /$rKonovalov, Anton --$tA simple indeterminate infinite game /$rKopczynski, Eryk / Niwinski, Damian --$tLipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces /$rMotto Ros, Luca / Schlicht, Philipp --$tON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC /$rOdintsov, Sergey --$tCOMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY /$rSelivanova, Svetlana --$tAN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) /$rShilov, Nikolay V. --$tPARTIAL NUMBERINGS AND PRECOMPLETENESS /$rSpreen, Dieter --$tAN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS /$rSpreen, Dieter --$tTWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ?-LANGUAGES /$rStaiger, Ludwig --$tSOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS /$rZhukov, Anton V. --$tINDEX 330 $aPublished in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists. 410 0$aOntos mathematical logic ;$vv. 4. 606 $aLogic, Symbolic and mathematical$vCongresses 606 $aAlgebra, Boolean$vCongresses 606 $aQuasi-metric spaces$vCongresses 606 $aPetri nets$vCongresses 606 $aSet theory$vCongresses 610 $aComputability theory. 610 $adescriptive set theory. 610 $anon-classical logic. 615 0$aLogic, Symbolic and mathematical 615 0$aAlgebra, Boolean 615 0$aQuasi-metric spaces 615 0$aPetri nets 615 0$aSet theory 676 $a511.3 686 $aCC 2600$qSEPA$2rvk 702 $aSelivanov$b Victor 702 $aBrattka$b Vasco$f1966- 702 $aDiener$b Hannes 702 $aSpreen$b Dieter 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910787095703321 996 $aLogic, computation, hierarchies$93817511 997 $aUNINA