第7届与第8届亚洲逻辑学会议录

亚洲逻辑学会议自从1981年在新加坡首次举办之后每三年举行一次，由亚太地区的国家或地区轮流举办。该会议现已被认为是逻辑学领域中的主要会议，通常由符号逻辑学会主办。第7届会议1999年6月6～10日在中国台湾省溪头举行，第8届会议2002年8月29日至9月2日在中国重庆举行，同时也是关于数理逻辑的ICM2002卫星会议。第7届在中国台湾举办的会议录计划被随后发生的破坏性地震夭折，相关的资料文件在地震中丢失，因此这两届会议的会议录合并成一卷。