哲学研究
哲學研究
철학연구
Philosophical Researches
1978年
Z1期
96~99
,共null页
逻辑学家 专题学术报告 数理 专业工作者 参观访问 美籍 教授 合论 形式系统 公理系统
邏輯學傢 專題學術報告 數理 專業工作者 參觀訪問 美籍 教授 閤論 形式繫統 公理繫統
라집학가 전제학술보고 수리 전업공작자 삼관방문 미적 교수 합론 형식계통 공리계통
<正> 美籍数理逻辑学家 王浩教授,1977年9—11月来我国参观访问。在京期间,除了给数理逻辑专业工作者作有关集合论的专题学术报告和进行多次座谈外,并作了六次大型的数理逻辑通俗讲演:《数理逻辑一百年》、
<正> 美籍數理邏輯學傢 王浩教授,1977年9—11月來我國參觀訪問。在京期間,除瞭給數理邏輯專業工作者作有關集閤論的專題學術報告和進行多次座談外,併作瞭六次大型的數理邏輯通俗講縯:《數理邏輯一百年》、
<정> 미적수리라집학가 왕호교수,1977년9—11월래아국삼관방문。재경기간,제료급수리라집전업공작자작유관집합론적전제학술보고화진행다차좌담외,병작료륙차대형적수리라집통속강연:《수리라집일백년》、