Rod Downey, Victoria University of
Wellington, New Zealand, et al. (Eds.)
Proceedings of the
7th & 8th Asian
Logic Conferences
2003, 471pp.
Hardcover $88.00
ISBN 981-238-261-5
World Scirntific
亚洲逻辑学会议自从1981年在新加坡首次举办之后每三年举行一次，由亚太地区的国家或地区轮流举办。该会议现已被认为是逻辑学领域中的主要会议，通常由符号逻辑学会主办。第7届会议1999年6月6~10日在中国台湾省溪头举行，第8届会议2002年8月29日至9月2日在中国重庆举行，同时也是关于数理逻辑的ICM2002卫星会议。第7届在中国台湾举办的会议录计划被随后发生的破坏性地震夭折，相关的资料文件在地震中丢失，因此这两届会议的会议录合并成一卷。
全书共收集了20篇论文，分别是：1.算术记数罗杰斯半径的基本属性；2.解搜索中有关数学的5个謎；3.实数上的复杂类——一个逻辑学家的观点；4.可计算性、可定义性与代数结构；5.平凡的实数；6.波珀与米勒——归纳法与演绎法；7.多项式上代数的增补；8.来自具有图论应用证明的析取程序层逼近；9.逻辑算法与代数算法的共同结构；10.图的博奕——自动机、结构与复杂性；11.分形的计算复杂性；12.局部次数结构的可定义性——与跳跃类相关的最近成果评述；13.迭代半真前序的有限级构造；14.命题演算NDJPROP对捕捉与抛出机理的应用；15.适合于强制程序合成与推理的柯里-霍华德同构；16.线性集合理论的相位值模型；17.一个关于具有可数模型有限数理论的问题；18.概率逻辑编程与继承；19.用于经典与直觉主义子结构模型逻辑的相继式系统；20.D.C.E级的菱形嵌入与O和I的保存。
本书是由一流专家撰写的，可供研究逻辑学的研究人员和研究生阅读参考。
胡光华，高级软件工程师
(原中国科学院物理学研究所)
Hu Guanghua, Senior Software Engineer
(Former Institute of Physics,the Chinese Academy of Sciences)