03130nam 2200613Ia 450 991077730520332120230828224819.01-281-92443-19786611924430981-277-274-X(CKB)1000000000413818(StDuBDS)AH24684384(SSID)ssj0000199105(PQKBManifestationID)11181098(PQKBTitleCode)TC0000199105(PQKBWorkID)10187944(PQKB)11436701(MiAaPQ)EBC1679871(WSP)00006255(Au-PeEL)EBL1679871(CaPaEBR)ebr10201394(CaONFJC)MIL192443(OCoLC)879024169(EXLCZ)99100000000041381820070627d2006 uy 0engur|||||||||||txtccrMathematical logic in Asia[electronic resource] proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /editors, S.S. Goncharov, R. Downey, H. OnoSingapore ;Hackensack, NJ World Scientificc20061 online resource (328p.)Bibliographic Level Mode of Issuance: Monograph981-270-045-5 Includes bibliographical references.Another 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.Devoted 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.Logic, Symbolic and mathematicalCongressesMathematicsCongressesLogic, Symbolic and mathematicalMathematics511.3Downey R. G(Rod G.)930867Goncharov S. S1482432Ono H502460Asian Logic ConferenceMiAaPQMiAaPQMiAaPQBOOK9910777305203321Mathematical logic in Asia3700019UNINA