Title: Proceedings of the 12th Asian Logic Conference
Subjects: Logic, symbolic and mathematical