04510nam 2200529 450 991046692240332120200520144314.01-5017-3084-310.7591/9781501730849(CKB)4100000006671758(MiAaPQ)EBC5516836(OCoLC)1128797884(MdBmJHUP)muse78586(DE-B1597)527373(OCoLC)1032293266(DE-B1597)9781501730849(Au-PeEL)EBL5516836(CaPaEBR)ebr11610693(EXLCZ)99410000000667175820181006d2018 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierWounds of war how the VA delivers health, healing, and hope to the nation's veterans /Suzanne GordonIthaca ;London :ILR Press, an imprint of Cornell University Press,2018.1 online resource (465 pages)The culture and politics of health care work1-5017-3082-7 1-5017-3083-5 Includes bibliographical references and index.Introduction : what kind of care for veterans? -- Promises broken and kept : a short history of the VHA -- Those who have borne the battle : the VHA's patient population -- Profile : what it means to be a VHA volunteer -- Primary care the way it should be -- Healing minds and bodies : integrated mental health care and primary care -- Dealing with a world of hurt : VHA treatment of chronic pain -- When wounded warriors are women : caring for female veterans -- Mental health the way it should be -- Unpacking PTSD : from diagnosis to effective treatment -- Profile : Karen Parko : a special kind of professional development at the VA -- Returning to civilian life : veterans on campus -- Suicide prevention : VA programs that save lives -- Overcoming disability : VA rehabilitation services -- Transcending trauma : the Martinez cognitive rehabilitation program -- Off the streets : reducing veteran homelessness -- Alternatives to jail : veterans justice programs -- Profile : cops and vets : the Memphis crisis intervention model -- Specializing in elder care : the VA and geriatrics -- Knocking on heaven's door : the VA and end-of-life care -- Better care where? The VHA compared to the private sector -- Conclusion : a system worth saving and making even better.U.S. military conflicts abroad have left nine million Americans dependent on the Veterans Health Administration (VHA) for medical care. Their "wounds of war" are treated by the largest hospital system in the country-one that has come under fire from critics in the White House, on Capitol Hill, and in the nation's media. The resulting public debate about the future of veterans' health care has pitted VHA patients and their care-givers against politicians and policy-makers who believe that former military personnel would be better served by private health care providers.This high stakes controversy led Suzanne Gordon, award-winning health care journalist and author, to seek insight from veterans and their families, VHA staff and administrators, advocates for veterans, and proponents of privatization. Gordon spent five years closely observing the VHA's treatment of patients suffering from service related injuries, physical and mental.In Wounds of War, Gordon describes how the VHA-tasked with a challenging patient population- does a better job than private sector institutions offering primary and geriatric care, mental health and home care services, and support for patients nearing the end of life. The VHA, Gordon argues, is an integrated health care system worthy of wider emulation, rather than piece-meal dismantling for the benefit of private contractors. In the unusual culture of solidarity between patients and providers that the VHA has fostered, the author finds a working model for higher quality health care and a much-needed alternative to the practice of for-profit medicine.Culture and politics of health care work.VeteransMedical careUnited StatesElectronic books.VeteransMedical care362.860973Gordon Suzanne1945-1030710MiAaPQMiAaPQMiAaPQBOOK9910466922403321Wounds of war2448701UNINA04483nam 22005895 450 991048469230332120251230065744.03-030-36755-X10.1007/978-3-030-36755-8(CKB)5280000000190065(MiAaPQ)EBC6112229(DE-He213)978-3-030-36755-8(PPN)24281851X(EXLCZ)99528000000019006520191213d2020 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierLogical Foundations of Computer Science International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings /edited by Sergei Artemov, Anil Nerode1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (297 pages)Theoretical Computer Science and General Issues,2512-2029 ;119723-030-36754-1 Computability of Algebraic and Definable Closure -- Observable Models -- Countermodel Construction via Optimal Hypersequent Calculi for Non-Normal Modal Logics -- Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory -- On the Constructive Truth and Falsity in Peano Arithmetic -- Belief Expansion in Subset Models -- Finitism, Concrete Programs and Primitive Recursion -- Knowledge of Uncertain Worlds: Programming with Logical Constraints -- A Globally Sound Analytic Calculus for Henkin Quantifiers -- Feedback Hyperjump -- Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents -- On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems -- Parameterised Complexity of Abduction in Schaefer's Framework -- Tracking Computability of GPAC-Generable Functions -- Modal Type Theory Based on the Intuitionistic Modal Logic ������������! -- Lifting Recursive Counterexamples to Higher-Order Arithmetic -- On the Tender Line Separating Generalizations and Boundary-Case Exceptions for the Second Incompleteness Theorem under Semantic Tableaux Deduction.This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.Theoretical Computer Science and General Issues,2512-2029 ;11972Logic, Symbolic and mathematicalMachine theoryArtificial intelligenceMathematical Logic and FoundationsFormal Languages and Automata TheoryArtificial IntelligenceLogic, Symbolic and mathematical.Machine theory.Artificial intelligence.Mathematical Logic and Foundations.Formal Languages and Automata Theory.Artificial Intelligence.003.54004Artemov Sergeiedthttp://id.loc.gov/vocabulary/relators/edtNerode Aniledthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484692303321Logical Foundations of Computer Science772536UNINA