只为小站
首页
域名查询
文件下载
登录
首页
课程资源
专业指导
数理逻辑 汪芳庭 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
其他资源
IEEE标准潮流计算数据(3节点~300节点全)
hook更改硬盘序列号 转载
国际民用航空公约附件十中文官方翻译版正式(第一卷至第五卷全)
USB 2.0 10/100M Ethernet Adaptor有线网卡驱动(很好用)
HC-SR04.rar
LabView 大作业程序 简单的计算器
空间分析的源代码
企业级360度用户画像系统-标签体系.xlsx
嵌入式项目中各个部分语音.rar
基于热裂解材料的高效电子注入层,用于倒底发射型聚合物发光二极管
DTcms4.0正则采集插件.rar
aws-ec2-ssh:使用IAM管理AWS EC2 SSH访问
my-parent.tar.gz
冒险岛怪物GIF图 游戏素材
KMP,键树 英语文章单词统计
无线遥控鼠标的设计 详细描述无线鼠标的设计原理和电路实现
精通正则表达式_第三版(高清版).
类似知乎的图文编辑器
MATLAB统计分析与应用:40个案例分析》程序与数据
高校科研web jsp java
Android用户登录
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
vivado 破解 lisence(有效期到2037年) 下载
空间谱估计理论与算法------程序.rar
航迹融合算法MATLAB仿真程序
安卓开发期末大作业----单词本(源码,任务书,大报告,apk文件)(基于andord studio)
全国河流水文站坐标.xls
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
EasyMedia-ui.zip
Plexim Plecs Standalone 4.1.2 x64.7z
EEMD算法应用于信号去噪.rar
中小型企业网络建设.pkt
android开发期末大作业.zip
ios无人直播 虚拟视频实用版 可以导入视频
Spring相关的外文文献和翻译(含出处).zip
科研伦理与学术规范 期末考试2 (40题).pdf
拾荒者扫描器.zip
最新下载
PaddleOCR做成exe程序,打开即用,无需安装任何环境,还可以POST访问
瑞芯微固件解包打包修改工具
Und_min1x1_egm2008_isw=82_WGS84_TideFree_SE
veterbi卷积码编码解码MATLAB和FPGA实现
基于matlab数字图像处理系统+GUI操作界面
瑞芯微固件解包打包工具V9.0.1
瑞芯微系列芯片内存支持列表
HFSS天线设计——李明洋(附带每章中的HFSS源文件)
UE4文件选择窗口的插件
DisplayPort EDID CTS v1.1