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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Goncharov, S. S.
Other Authors: Downey, R., Ono, H.
Format: Electronic eBook
Language:Inglés
Published: Singapore : World Scientific Publishing Company, 2006.
Subjects:
Logic, Symbolic and mathematical > Congresses.
Mathematics > Congresses.
Logique symbolique et mathématique > Congrès.
Mathématiques > Congrès.
Logic, Symbolic and mathematical
Mathematics
Conference papers and proceedings
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items