当前位置:文档之家› 1、建立在严格的数学理论,集合论和谓词演算公式的基础之上

1、建立在严格的数学理论,集合论和谓词演算公式的基础之上

相关主题