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