Book

Proceedings of the 13th Asian Logic Conference

by Liang Yu, Xishun Zhao, Qi Feng, Byunghan Kim