LEADER 03935nam 2200661 450 001 9910480607603321 005 20210903003153.0 010 $a0-271-07388-8 010 $a0-271-05547-2 010 $a0-271-05686-X 010 $a0-271-05617-7 024 7 $a10.1515/9780271056869 035 $a(CKB)2550000000088950 035 $a(OCoLC)780531444 035 $a(CaPaEBR)ebrary10532177 035 $a(SSID)ssj0000606755 035 $a(PQKBManifestationID)11363424 035 $a(PQKBTitleCode)TC0000606755 035 $a(PQKBWorkID)10597945 035 $a(PQKB)11771812 035 $a(MiAaPQ)EBC3384940 035 $a(MiAaPQ)EBC6224622 035 $a(DE-B1597)584149 035 $a(DE-B1597)9780271056869 035 $a(EXLCZ)992550000000088950 100 $a20200930d2011 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe Truman administration and Bolivia $emaking the world safe for liberal constitutional oligarchy /$fGlenn J. Dorn 210 1$aUniversity Park, Pennsylvania :$cPennsylvania State University Press,$d[2011] 210 4$d©2011 215 $a1 online resource (266 p.) 300 $aBibliographic Level Mode of Issuance: Monograph 311 0 $a0-271-05015-2 320 $aIncludes bibliographical references and index. 327 $tFront matter --$tContents --$tAcknowledgments --$tList of Abbreviations --$tIntroduction --$t1 Villarroel: April 1945?July 1946 --$t2 Junta: July 1946?March 1947 --$t3 Hertzog: March 1947?May 1949 --$t4 Urriolagoitia: May 1949?June 1950 --$t5 To the Mamertazo: July 1950?May 1951 --$t6 Ballivián: May 1951?April 1952 --$t7 Paz Estenssoro: April 1952?January 1953 --$tConclusion --$tEpilogue --$tNotes --$tSelected Bibliography --$tIndex 330 $aThe United States emerged from World War II with generally good relations with the countries of Latin America and with the traditional Good Neighbor policy still largely intact. But it wasn?t too long before various overarching strategic and ideological priorities began to undermine those good relations as the Cold War came to exert its grip on U.S. policy formation and implementation. In The Truman Administration and Bolivia, Glenn Dorn tells the story of how the Truman administration allowed its strategic concerns for cheap and ready access to a crucial mineral resource, tin, to take precedence over further developing a positive relationship with Bolivia. This ultimately led to the economic conflict that provided a major impetus for the resistance that culminated in the Revolution of 1952?the most important revolutionary event in Latin America since the Mexican Revolution of 1910. The emergence of another revolutionary movement in Bolivia early in the millennium under Evo Morales makes this study of its Cold War predecessor an illuminating and timely exploration of the recurrent tensions between U.S. efforts to establish and dominate a liberal capitalist world order and the counterefforts of Latin American countries like Bolivia to forge their own destinies in the shadow of the ?colossus of the north.? 606 $aTin industry$xGovernment policy$zBolivia$xHistory$y20th century 606 $aTin$xPrices$zBolivia$xHistory$y20th century 607 $aBolivia$xForeign relations$y20th century 607 $aBolivia$xForeign relations$zUnited States 607 $aUnited States$xForeign relations$y1945-1953 607 $aUnited States$xForeign relations$zBolivia 608 $aElectronic books. 615 0$aTin industry$xGovernment policy$xHistory 615 0$aTin$xPrices$xHistory 676 $a327.73084 700 $aDorn$b Glenn J.$01033368 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910480607603321 996 $aThe Truman administration and Bolivia$92451872 997 $aUNINA LEADER 01296nam1 22003011i 450 001 UON00068020 005 20231205102338.721 100 $a20020107g19881991 |0itac50 ba 101 $afre 102 $aFR 105 $a|||| ||||| 200 1 $aˆLa ‰Grande geste du Mali$fYoussuf Tata Cisse, Wa Kamissoko 210 $aParis$cKarthala$cArsan$dc.1988-1991 215 $a2 v., c. geogr., c. di tav.$d24 cm 463 1$1001UON00071534$12001 $aDes origines a la fondation de l'Empire (Traditions de Krina aux colloques de Bamako)$fYoussouf Tata Cisse, Wa Kamissoko$1205 $ac1988$1210 $aXI,426 p$1215 $aISBN 2865372065$v1 463 1$1001UON00071535$12001 $aSoundjata la gloire du Mali$fYoussouf Tata Cisse, Wa Kamissoko$1205 $ac1991$1210 $a305 p$1215 $aISBN 2865373266$v2 606 $aMALI$xStoria$3UONC019957$2FI 606 $aSOUNDJATA$3UONC021156$2FI 620 $aFR$dParis$3UONL002984 676 $a966.2017$cSTORIA DEL MALI, BURKINA FASO, NIGER - 1200-1400$v21 700 1$aCISSE$bYoussouf Tata$3UONV046415$0251158 701 1$aKAMISSOKO$bWa$3UONV046416$0251159 712 $aKarthala$3UONV251150$4650 801 $aIT$bSOL$c20240220$gRICA 912 $aUON00068020 966 $aSON-JARA$zSOUNDJATA$3UONC021157 996 $aGrande geste du Mali$91210632 997 $aUNIOR LEADER 03246nam 22007215 450 001 9910754096303321 005 20231021195743.0 010 $a3-031-45329-8 024 7 $a10.1007/978-3-031-45329-8 035 $a(MiAaPQ)EBC30808608 035 $a(Au-PeEL)EBL30808608 035 $a(DE-He213)978-3-031-45329-8 035 $a(PPN)272913855 035 $a(CKB)28544054700041 035 $a(EXLCZ)9928544054700041 100 $a20231021d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAutomated Technology for Verification and Analysis $e21st International Symposium, ATVA 2023, Singapore, October 24?27, 2023, Proceedings, Part I /$fedited by Étienne André, Jun Sun 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (453 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14215 311 08$aPrint version: André, Étienne Automated Technology for Verification and Analysis Cham : Springer,c2023 9783031453281 320 $aIncludes bibliographical references and index. 327 $aTemporal logics -- Data structures and heuristics -- Verification of programs and hardware -- Tool papers. 330 $aThis book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14215 606 $aSoftware engineering 606 $aComputer engineering 606 $aComputer networks 606 $aArtificial intelligence 606 $aComputers 606 $aComputer science 606 $aSoftware Engineering 606 $aComputer Engineering and Networks 606 $aArtificial Intelligence 606 $aComputer Hardware 606 $aTheory of Computation 615 0$aSoftware engineering. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aArtificial intelligence. 615 0$aComputers. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aComputer Engineering and Networks. 615 24$aArtificial Intelligence. 615 24$aComputer Hardware. 615 24$aTheory of Computation. 676 $a004.015113 702 $aAndre?$b Etienne 702 $aSun$b Jun 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910754096303321 996 $aAutomated Technology for Verification and Analysis$9772478 997 $aUNINA