数理逻辑史,数理逻辑史吧_互动维吧

全球最大中文百科网站，人人都可编辑的百科全书。

正在载入用户信息，请等待

当前位置：维吧 >> 数理逻辑史吧 >> 主题列表吧主：暂无吧主

开启维吧申请吧主维吧投诉

数理逻辑史

数理逻辑史正文　　现代演绎方法、形式化和公理系统的发展史。　　以演绎方法为中心内容的形式逻辑已有2000多年的历史。最早从形式结构来论述演绎推理的著作是古希腊亚里士多德的《工具论》。自亚里士多德起至... [阅读全文]

提示: 1.遵守国家有关法律、法规，尊重网上道德; 2.承担一切因您的行为而直接或间接导致的民事或刑事法律责任; 3.互动百科留言板管理人员有权保留或删除其管辖留言中的任意内容

关于我们
新闻中心
服务条款
合作伙伴
招聘信息
联系我们
站点地图
Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有