Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference
World Scientific Publishing Co Pte Ltd, 2006
162,95 €On orderDelivery: 2-3 weeks
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 problems of minimal unsatisfiable formulas.
- ISBN-13
- 9789812700452
- ISBN-10
- 9812700455
- Publisher
- World Scientific Publishing Co Pte Ltd
- Year
- 2006
- Publication date
- 2006-10-25
- Pages
- 328
- Dimensions
- 229x159x22
- Weight
- 598