LEADER 03356nam  2200697Ia 450 
001 9910972930803321
005 20250328195913.0
010   $a9786611924430
010   $a9781281924438
010   $a1281924431
010   $a9789812772749
010   $a981277274X
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(Perlego)848563
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 $eproceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /$feditors, S.S. Goncharov, R. Downey, H. Ono
205   $a1st ed.
210   $aSingapore ;$aHackensack, NJ $cWorld Scientific$dc2006
215   $a1 online resource (328p.)
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9789812700452 
311 08$a9812700455 
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.
517 1 $aProceedings of the 9th Asian Logic Conference
517 3 $aNinth Asian Logic Conference
606   $aLogic, Symbolic and mathematical$vCongresses
606   $aMathematics$vCongresses
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$01801609
701   $aOno$b Hiroakira$0990529
712 12$aAsian Logic Conference
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910972930803321
996   $aMathematical logic in Asia$94346966
997   $aUNINA