-
数理逻辑基础.上册?
¥68.6(7折)定价:¥98.0本书介绍数理逻辑的基础知识, 包括逻辑验算的基本内容, 这些内容构成数理逻辑各个分支 (模型论、证明论和构造性数学、递归论、集合论) 的共同的基础。本书共六部分, 分上、下两册。本册为上册...
本书介绍数理逻辑的基础知识, 包括逻辑验算的基本内容, 这些内容构成数理逻辑各个分支 (模型论、证明论和构造性数学、递归论、集合论) 的共同的基础。本书共六部分, 分上、下两册。本册为上册...
京ICP备09013606号-3京信市监发[2002]122号海淀公安分局备案编号:1101083394