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

Saved in:
Bibliographic Details
Main Author: Goncharov, S. S.
Other Authors: Downey, R., Ono, H.
Format: Electronic eBook
Language:English
Published: Singapore : World Scientific Publishing Company, 2006.
Subjects:
Online Access: Full text (Wentworth users only)
Local Note:ProQuest Ebook Central