LEADER 01158nam a2200337 i 4500 001 991001020619707536 005 20020507181755.0 008 931106s1986 us ||| | eng 020 $a0120585367 035 $ab10790056-39ule_inst 035 $aLE01305846$9ExL 040 $aDip.to Matematica$beng 082 0 $a511.3 084 $aAMS 03-01 084 $aAMS 03-XX 084 $aAMS 03B 084 $aQA9.A638 100 1 $aAndrews, Peter B.$044359 245 13$aAn introduction to mathematical logic and type theory :$bto truth through proof /$cPeter B. Andrews 260 $aOrlando :$bAcademic Press,$c1986 300 $axv, 304 p. ;$c23 cm. 490 0 $aComputer science and applied mathematics 650 4$aMathematical logic 650 4$aSymbolic logic 650 4$aType theory 907 $a.b10790056$b23-02-17$c28-06-02 912 $a991001020619707536 945 $aLE013 03-XX AND11 (1986)$g1$i2013000073279$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10890567$z28-06-02 996 $aIntroduction to mathematical logic and type theory$9338324 997 $aUNISALENTO 998 $ale013$b01-01-93$cm$da $e-$feng$gus $h3$i1 LEADER 03546nam 2200661 450 001 9910816284603321 005 20200520144314.0 010 $a0-252-09515-4 035 $a(CKB)3710000000055825 035 $a(EBL)3414312 035 $a(SSID)ssj0001047408 035 $a(PQKBManifestationID)11659007 035 $a(PQKBTitleCode)TC0001047408 035 $a(PQKBWorkID)11158657 035 $a(PQKB)11251661 035 $a(MiAaPQ)EBC3414312 035 $a(StDuBDS)EDZ0001640043 035 $a(OCoLC)862745812 035 $a(MdBmJHUP)muse29702 035 $a(Au-PeEL)EBL3414312 035 $a(CaPaEBR)ebr10797372 035 $a(CaONFJC)MIL629319 035 $a(OCoLC)923498169 035 $a(EXLCZ)993710000000055825 100 $a20130315h20132013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aDemilitarization in the contemporary world /$fedited by Peter Stearns 210 1$aUrbana, Illinois :$cUniversity of Illinois Press,$d[2013] 210 4$dİ2013 215 $a1 online resource (272 p.) 300 $aDescription based upon print version of record. 311 $a0-252-03789-8 320 $aIncludes bibliographical references and index. 327 $tHistorical and sociological perspectives -- Introduction / Peter N. Stearns -- Demilitarization: unraveling the structures of violence / Andrew Bickford -- Germany -- The demilitarization of Germany, 1945-2010 / Jay Lockenour -- Peace movements and the demilitarization of German political culture, 1970s-1980s / Holger Nehring -- Japan and comparative aftermath -- U.S. strategic preference for securing military bases and impact of Japanese financial community on constrained rearmament in Japan, 1945-1954 / Yoneyuki Sugita -- From demilitarization to remilitarization: external and internal pressures on Japanese security policy / Glenn D. Hook -- Japanese remilitarization and constitutional revision / Christopher Hughes -- Demilitarization and democratization in the post-World War II world / Stephanie Trombley Averill -- Central America -- Costa Rica and Honduras: demilitarization as choice / Kirk Bowman -- Demilitarization after Central American civil wars / J. Mark Ruhl and Philip J. Williams -- Afterword / Peter N. Stearns. 330 8 $aContemporary world history has highlighted militarization in many ways, from the global Cold War and numerous regional conflicts to the general assumption that nationhood implies a significant and growing military. Yet the 20th century also offers notable examples of large-scale demilitarization, both imposed and voluntary. This work fills a key gap in current historical understanding by examining demilitarization programs in Germany, Japan, Honduras, Guatemala, El Salvador, and Costa Rica. 606 $aArmed Forces$xDemobilization$vCase studies 606 $aDisarmament$xHistory$y20th century 606 $aMilitarism$xHistory$y20th century 606 $aSecurity, International$vCase studies 606 $aWorld politics$y20th century$vCase studies 615 0$aArmed Forces$xDemobilization 615 0$aDisarmament$xHistory 615 0$aMilitarism$xHistory 615 0$aSecurity, International 615 0$aWorld politics 676 $a327.174 702 $aStearns$b Peter N. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910816284603321 996 $aDemilitarization in the contemporary world$94122238 997 $aUNINA