Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005
С. С. Гончаров, Rodney G. Downey, 寛晰 小野 · WORLD SCIENTIFIC eBooks · 2006
Another Characterization of the Deduction-Detachment Theorem (S V Babyonyshev) On Behavior of 2-Formulas in Weakly o-Minimal Theories (B S Baizhanov & B Sh Kulpeshov) Arithmetic Turing Degrees and Categorical Theories of Computable Models (E Fokina) Negative Data in Learning Languages (S Jain & E Kinber) Effective Cardinals in the Nonstandard Universe (V Kanovei & M Reeken) Model-Theoretic Methods of Analysis of Computer Arithmetic (S P Kovalyov) The Functional Completeness of Le niewski's Systems (F Lepage) Hierarchies of Randomness Tests (J Reimann & 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.