Mathematical Logic in Asia : Proceedings of the 9th Asian Logic Conference.
This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Otros Autores: | , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Singapore :
World Scientific Publishing Company,
2006.
|
Temas: | |
Acceso en línea: | Texto completo |
Sumario: | This volume is devoted to the main areas of mathematical logic and applications to computer science. There are 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. The problems of characterization of the deduction-detachment theorem,? 1 -induction, completeness of Lesniewski's systems, and reduction calculus for the satisfiability problem are also discussed. The coverage includes the answer to Kanovei's question ab. |
---|---|
Descripción Física: | 1 online resource (328 pages) |
ISBN: | 9789812772749 981277274X |