数学规范化：初等数学术语是逻辑常数

项目:研究

项目详细信息

状态完成了
有效开始/结束日期1/10/2006→30/09/2009

基金

  • 英国学院：£215,994.00
  • 英国学院：£700.00