Title: Proceedings of the 7th & 8th Asian Logic Conferences
First published: 2004
Subjects: Logic, symbolic and mathematical
LC classification: Q