Book

Proceedings of the Sixth Asian Logic Conference

by Mariko Yasugi, D. Ding, C. T. Chong, Q. Feng