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...
Cote: | Libro Electrónico |
---|---|
Auteur principal: | |
Autres auteurs: | , |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
Singapore :
World Scientific Publishing Company,
2006.
|
Sujets: | |
Accès en ligne: | Texto completo |