| Description |
1 online resource (viii, 319 pages) : illustrations |
| Physical Medium |
polychrome |
| Description |
text file |
| Bibliography |
Includes bibliographical references. |
| Contents |
Another characterization of the deduction-detachment theorem / S. V. Babyonyshev -- Computable numberings in the hierarchy of Ershov / S. A. Badaev and Zh. T. Talasbaeva -- On behaviour of 2-formulas in weakly o-minimal theories / B. S. Baizhanov and B. Sh. Kulpeshov -- Proofs about folklore: why model checking = reachability? / K. Choe ... [et al.] -- A note on [symbol] induction / C. Dimitracopoulos and A. Sirokofskich -- Arithmetic Turing degrees and categorical theories of computable models / E. Fokina -- Equivalence relations and classical Banach spaces / S. Gao -- Negative data in learning languages / S. Jain and E. Kinber -- Effective cardinals in the nonstandard universe / V. Kanovei and M. Reeken -- Model-theoretic methods of analysis of computer arithmetic / S. P. Kovalyov -- The functional completeness of Leśniewski's systems / F. Lepage -- Analysis of a new reduction calculus for the satisfiability problem / S. Noureddine -- Elementary type semigroup for Boolean algebras with distinguished ideals / D. Pal'chunov -- Interval fuzzy algebraic systems / D. E. Pal'chunov and G. E. Yakhyaeva -- On orientability and degeneration of Boolean binary relation on a finite set / V. Poplavski -- Hierarchies of randomness tests / J. Reimann and F. Stephan -- Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions / V. V. Rybakov -- Isomorphisms and definable relations on rings and lattices / J. A. Tussupov -- The logic of prediction / E. Vityaev -- The choice of standards for a reporting language / M. Walicki, U. Wolter and J. Stecher -- Conceptual semantic systems theory and applications / K. E. Wolff -- Complexity results on minimal unsatisfiable formulas / X. Zhao. |
| Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
| Subject |
Logic, Symbolic and mathematical -- Congresses.
|
|
Logic, Symbolic and mathematical. |
|
Mathematics -- Congresses.
|
|
Mathematics -- Congresses. |
|
Mathematics. |
| Genre/Form |
Electronic books.
|
|
Conference papers and proceedings.
|
|
Conference papers and proceedings.
|
| Added Author |
Downey, R. G. (Rod G.)
|
|
Goncharov, S. S.
|
|
Ono, H. (Hiroichi)
|
| Added Title |
Proceedings of the 9th Asian Logic Conference |
|
Ninth Asian Logic Conference |
| Other Form: |
Print version: Asian Logic Conference (9th : 2005 : Novosibirsk, Russia). Mathematical logic in Asia. Singapore ; Hackensack, NJ : World Scientific, ©2006 (DLC) 2007297924 |
| ISBN |
9789812772749 (electronic book) |
|
981277274X (electronic book) |
|
1281924431 |
|
9781281924438 |
|
9789812700452 |
|
9812700455 |
|
