词条摘要:110.11 数学史110.14 数理逻辑与数学基础110.1410 演绎逻辑学(亦称符号逻辑学)110.1420 证明论(亦称元数学)110.1430 递归论110.1440 模型论110.1450... [阅读全文]
共有话题1个 共1页
Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有