Title: Proceedings of the 10Th Asian Logic Conference
Subjects: Logic, symbolic and mathematical