Title: Proceedings of the 7th & 8th Asian Logic Conferences
First published: 2003
Subjects: Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: Q334 .A853 1999