描述的逻辑。数学和科学基础的新方法 电子书下载

原名:logic of descriptions. a new approach to the foundations of mathematics and science
作品简介:逻辑、语法和修辞学研究 27 (40) 2012 .. 公理 Ax7–Ax17 陈述了 com- 等价的一些基本属性。……