2 options
Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / editors, S.S. Goncharov, R. Downey, H. Ono.
- Format:
- Book
- Conference/Event
- Author/Creator:
- Asian Logic Conference, Corporate Author.
- Conference Name:
- Asian Logic Conference (9th : 2005 : Novosibirsk, Russia)
- Asian Logic Conference.
- Language:
- English
- Subjects (All):
- Logic, Symbolic and mathematical--Congresses.
- Logic, Symbolic and mathematical.
- Mathematics--Congresses.
- Mathematics.
- Physical Description:
- 1 online resource (328p.)
- Edition:
- 1st ed.
- Other Title:
- Proceedings of the 9th Asian Logic Conference
- Ninth Asian Logic Conference
- Place of Publication:
- Singapore ; Hackensack, NJ : World Scientific, c2006.
- Language Note:
- English
- Summary:
- 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.
- Contents:
- 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.
- Notes:
- Bibliographic Level Mode of Issuance: Monograph
- Includes bibliographical references.
- ISBN:
- 9786611924430
- 9781281924438
- 1281924431
- 9789812772749
- 981277274X
- OCLC:
- 879024169
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.