第七届国际逻辑学、方法论和科学哲学代表大会将于1983年在奥地利举行

摘要

由国际科学史和科学哲学联合会(IUHPS)逻辑学、方法论和科学哲学部筹备的第七届国际逻辑学、方法论和科学哲学代表大会将于1983年7月11日至16日在奥地利的萨尔茨堡举行。会议将分14个专题组,它们是: 1.证明论和数学基础, 2.模型理论及其应用, 3.递归论和计算理论, 4.公理集合论, 5.哲学的逻辑,