只为小站
首页
域名查询
文件下载
登录
首页
课程资源
专业指导
数理逻辑 汪芳庭 XPS文档(可用IE直接打开)
数理逻辑 汪芳庭 XPS文档(可用IE直接打开)
上传者:
harrysummer
|
上传时间: 2019-12-21 19:51:00
|
文件大小: 3.58MB
|
文件类型: xps
数理逻辑
汪芳庭
国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。 下载后可以通过Adobe PDF虚拟打印机打印成PDF文档。
文件下载
立即下载
评论信息
「已注销」 :
还可以的书,详细
2017-10-09
laomao22311 :
扫描质量一般。内容还可以i
2016-04-26
xiaoqian321 :
很好的书,写的条理清晰,容架构很好
2016-03-15
egg90 :
接触最早的数理逻辑书之一,内容架构还不错
2016-02-15
wangxingfeng1989 :
不错這的参考
2016-01-20
其他资源
BP神经网络时间序列预测matlab代码下载(matlab格式数据)
WPF数据可视化控件(一) LED风格数字控件
2018年最新最完整ISO9001-2015全套质量管理体系文件
基于SSM框架的养老院系统
光伏发电系统设计软件Homer
基于视频车辆测速代码
cs5532调试文档
保偏光通信系统中由光纤非线性引起的偏振抖动
不是jvm的图,jvm周边架构图
DELL_S2721DGF-MONITOR_A00-00_DRVR_24PHN.exe
Oracle Database Backup and Recovery Reference,11g Release 2(11.2).PDF
Exam Ref 70-483 Programming in C#, 2nd Edition 9781509306985 c.zip
SEO程序,收录快,排名快,蜘蛛多
仿携程去哪双日历控件
二轮平衡车全套源码(超全)
RJ45网络接头3D模型8p8c
IT交流论坛系统-数据库课设
PPT毕业答辩模板
keepalived安装包,多版本
java在线编译系统源码.rar
spring-orm-4.2.4.RELEASE-sources.jar
excel保存pdf插件
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
安卓开发期末大作业----单词本(源码,任务书,大报告,apk文件)(基于andord studio)
(推荐)小爱触屏音箱LX04_2.34.5-官改-(开发版)SP5
2021华为芯片研发岗位笔试题
BP神经网络+PID控制simulink仿真
基于Python网络爬虫毕业论文.doc
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
锁相环simulink建模仿真.rar
JPEG的Matlab实现
IBM.ILOG.CPLEX.Enterprise.Server.v12.10.0.Win64.rar CPLEX下载
java-spring-web-外文文献翻译40篇.zip
适用于eNSP 1.3.00 可加载的USG6000V防火墙设备包
Monet智能交通场景应用
EBSD分析软件——Channel5下载安装教程
Spring相关的外文文献和翻译(含出处).zip
神经·模糊·预测控制及其MATLAB实现PDF + MATLAB程序
最新下载
elasticsearch7.17.10-最新支持Java1.8版本
xenconvert 32位和64位
winrar 2.0 原版+中文汉化版
Qloud server(win)4.1.1中文版+Media(android)4.0.4已付费
ACCOTEST应用文集.pdf
精通开关电源设计(第2版)高清完整版PDF(一)(1-2)
SAE J1850-2001
StarterWare DSP 6748
RTL8111E RTL8168E网卡MAC地址刷写程序PG2.29-DOS工具类资源
基于Netcool集中告警系统解决方案-v1.0.rar