Book

Proceedings of the 11th Asian Logic Conference

by Toshiyasu Arai, Byunghan Kim, Yue Yang