Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /

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 pro...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: Asian Logic Conference Novosibirsk, Russia
Autres auteurs: Downey, R. G. (Rod G.), Goncharov, S. S., Ono, H.
Format: Électronique Actes de congrès eBook
Langue:Inglés
Publié: Singapore ; Hackensack, NJ : World Scientific, ©2006.
Sujets:
Logic, Symbolic and mathematical > Congresses.
Mathematics > Congresses.
Logique symbolique et mathématique > Congrès.
Mathématiques > Congrès.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical.
Mathematics.
Conference papers and proceedings.
Accès en ligne:Texto completo

Documents similaires

Documents similaires