焦作工学院学报(自然科学版)2002，Vol.21Issue(1)：55-58,4.
元数学对计算机的一些启示
Some inspiration to computer science from metamathematics
佟晓强1
作者信息
- 1. 东南大学计算机科学与工程系,江苏南京,210018
- 折叠
摘要
关键词
元数学/数理逻辑/计算机科学/形式化体系分类
信息技术与安全科学引用本文复制引用
佟晓强..元数学对计算机的一些启示[J].焦作工学院学报(自然科学版),2002,21(1):55-58,4.
