LEADER 00869nam0-2200313---450- 001 990008580800403321 005 20071112123934.0 010 $a0198298153 010 $a9780199288465 035 $a000858080 035 $aFED01000858080 035 $a(Aleph)000858080FED01 035 $a000858080 100 $a20071112d2007----km-y0itay50------ba 101 0 $aeng 102 $aGB 105 $ay-------001yy 200 1 $aHuman rights obligations of non-state actors$fAndrew Clapham 210 $aOxford$cOxford University Press$d2007 215 $aXXXIII, 180 p.$d24 cm 676 $a341$v11 rid.$zita 700 1$aClapham,$bAndrew$0303806 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990008580800403321 952 $aH 360$b4829$fDSI 959 $aDSI 996 $aHuman rights obligations of non-state actors$9710631 997 $aUNINA LEADER 03163nam 2200625Ia 450 001 9910450959203321 005 20200520144314.0 010 $a1-281-92443-1 010 $a9786611924430 010 $a981-277-274-X 035 $a(CKB)1000000000413818 035 $a(StDuBDS)AH24684384 035 $a(SSID)ssj0000199105 035 $a(PQKBManifestationID)11181098 035 $a(PQKBTitleCode)TC0000199105 035 $a(PQKBWorkID)10187944 035 $a(PQKB)11436701 035 $a(MiAaPQ)EBC1679871 035 $a(WSP)00006255 035 $a(Au-PeEL)EBL1679871 035 $a(CaPaEBR)ebr10201394 035 $a(CaONFJC)MIL192443 035 $a(OCoLC)879024169 035 $a(EXLCZ)991000000000413818 100 $a20070627d2006 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aMathematical logic in Asia$b[electronic resource] $eproceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /$feditors, S.S. Goncharov, R. Downey, H. Ono 210 $aSingapore ;$aHackensack, NJ $cWorld Scientific$dc2006 215 $a1 online resource (328p.) 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a981-270-045-5 320 $aIncludes bibliographical references. 327 $aAnother Characterization of the Deduction-Detachment Theorem (S V Babyonyshev); On Behavior of 2-Formulas in Weakly o-Minimal Theories (B S Baizhanov 38; B Sh Kulpeshov); Arithmetic Turing Degrees and Categorical Theories of Computable Models (E Fokina); Negative Data in Learning Languages (S Jain 38; E Kinber); Effective Cardinals in the Nonstandard Universe (V Kanovei 38; M Reeken); Model-Theoretic Methods of Analysis of Computer Arithmetic (S P Kovalyov); The Functional Completeness of Leniewski's Systems (F Lepage); Hierarchies of Randomness Tests (J Reimann 38; F Stephan); Intransitive Linear Temporal Logic Based on Integer Numbers, Decidability, Admissible Logical Consecutions (V V Rybakov); The Logic of Prediction (E Vityaev); Conceptual Semantic Systems Theory and Applications (K E Wolff); Complexity Results on Minimal Unsatisfiable Formulas (X Zhao); and other papers. 330 $aDevoted to the main areas of mathematical logic and applications to computer science, this volume features articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity problems of minimal unsatisfiable formulas. 606 $aLogic, Symbolic and mathematical$vCongresses 606 $aMathematics$vCongresses 608 $aElectronic books. 615 0$aLogic, Symbolic and mathematical 615 0$aMathematics 676 $a511.3 701 $aDowney$b R. G$g(Rod G.)$0930867 701 $aGoncharov$b S. S$0930868 701 $aOno$b H$0502460 712 12$aAsian Logic Conference 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910450959203321 996 $aMathematical logic in Asia$92094039 997 $aUNINA LEADER 01964nam 2200553Ia 450 001 9910781332503321 005 20200520144314.0 010 $a1-60491-829-2 010 $a1-60491-084-4 035 $a(CKB)2550000000037064 035 $a(SSID)ssj0000948689 035 $a(PQKBManifestationID)11514952 035 $a(PQKBTitleCode)TC0000948689 035 $a(PQKBWorkID)10951362 035 $a(PQKB)10475898 035 $a(Au-PeEL)EBL2097930 035 $a(CaPaEBR)ebr10478410 035 $a(OCoLC)914433918 035 $a(CaSebORM)9781604910841 035 $a(MiAaPQ)EBC2097930 035 $a(EXLCZ)992550000000037064 100 $a20110707d2010 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aVisual explorer$iFacilitator's guide$b[electronic resource] /$fCharles J. Palus, David Magellan Horth 205 $aRev. and expanded. 210 $a[Greensboro, N.C.] $cCenter for Creative Leadership$dc2010 215 $a112 p. $cill 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-60491-864-0 311 $a1-60491-083-6 320 $aIncludes bibliographical references. 330 $aInspire collaborative, creative conversations using a wide variety of images with Visual Explorer. A favorite of CCL?s own program facilitators, Visual Explorer offers everything you need to utilize this proven method of developing ideas and insights into useful dialog as part of your leadership development training. 606 $aImaging systems 606 $aDigital communications 615 0$aImaging systems. 615 0$aDigital communications. 676 $a621.382 700 $aPalus$b Charles J$0868785 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910781332503321 996 $aVisual explorer$93708995 997 $aUNINA