现代逻辑与科学技术哲学研究所
Tel:+86 01062516419
中国人民大学人文楼608室
Email:liuxlphil@ruc.edu.cn
http://logic.philosophyol.com
Institute of Modern Logic & Philosophy of Science and Technology
   
首 页
新闻报道
机构人员
学术研究
教学课程
学生园地
资源链接
科学-社会-人文论坛
学术研究 >> 现代逻辑及其应用      
[2008-05-08]
 Gödel and Physics John Barrow    
[2008-01-09]
 ON -STRUCTURAL DIFFERENCES AMONG ERSHOV HIERARCHIES YUE YANG AND LIANG YU Journal of Symbolic logic, 71(2006), No.4, 1223-1236.  
[2007-12-12]
 Dependent Type Theories and Mathematical Pluralism 罗朝晖 人大讲稿 2007.12.12  
         
  欢迎来稿      

 
联系我们 |  版权申明  | 网站地图
中国人民大学现代逻辑与科学技术哲学研究所
INSTITUTE OF MODERN LOGIC& PHILOSOPHY OF SCIENCE AND TECHNOLOGY, RENMING UNIVERSITY OF CHINA.