搜索
首页
读书
首页
读书
学习教育
数理逻辑教程(纠斜+书签)(陈慕泽)(上海人民出版社 2001)
反馈
书名
数理逻辑教程(纠斜+书签)(陈慕泽)(上海人民出版社 2001)
内容简介
书名:数理逻辑教程(纠斜+书签)
出版社:上海人民出版社
作者:陈慕泽
出版年份:2001
电子书格式:
pdf
简介:《数理逻辑教程》由陈慕泽编著,是上海人民出版社2001年出版的经典教材。此书详细讲解了数理逻辑的基本概念、命题逻辑、谓词逻辑及证明理论等内容,配有纠斜和书签,阅读体验更佳。适用于数学、计算机科学、哲学等专业的学生和研究者,是深入理解逻辑学基础不可多得的参考书。
ISBN:9787208037489, 72080
下载地址
下载数理逻辑教程(纠斜+书签)(陈慕泽)(上海人民出版社 2001)
猜你喜欢
高中数学竞赛专题讲座 第一辑 数列与归纳法(韦吉珠)
《西洋话剧指南》_11388584.pdf(《西洋话剧指南》_11388584.pdf)
广告心理学教程(舒咏平)(北京大学出版社 2010)
知识论([美]理查德‧费尔德曼; Richard Feldman; 文学平(译); 盈俐(译))(中国人民大学出版社 2019)
美国大学生数学建模竞赛题解析与研究 第5辑(王杰 Jay Belanger 吴孟达 刘易成)(高等教育出版社 2014)
通过法律的社会控制(罗斯科·庞德)(商务印书馆 2009)
中药炮制学(新世纪第四版;全国中医药行业高等教育 十三五 规划教材;全国高等中医药院校规划教材第十版)(龚千锋)(中国中医药出版社 2016)
民法思维:请求权基础理论体系(王泽鉴著)
高手过招——中医临床实战录(余浩 [余浩])(中国中医药出版社 2012)
矩阵计算(Gene H. Golub; Charles F. Van Loan; 袁亚湘)(科学出版社 2001)
大家都喜欢
PHP 7(Tutorials Point)(Tutorials Point 2016)
The Murder After the Night Before(Katy Brent)(HQ Digital 2024)
金田一探案集2021(絶版近10年,重磅归来!推理高峰典范,江户川乱步、青山刚昌推荐。惊骇悬念+诡秘人性,入坑推理佳选,一套10本过足瘾!精美和风装帧,日本系列销量超5500万册)(横沟正史)(壹页科技 2021)
Web前端技术丛书:新时期的Node.js入门(李锴)(清华大学出版社 2017)
翻译辨误2(图文版)(陈德彰)(外语教学与研究出版社 2011)
UG NX 10.0 数控加工教程(北京兆迪科技有限公司)(机械工业出版社 2016)
Children’s language: connecting reading, writing, and talk(Judith Wells Lindfors)(Teachers College Press 2008)
《追寻逝去的时光》读本(最通透的普鲁斯特译本,“大跨度”节选七卷本,一字不易;附赠《普罗斯特纸上展览》)(【法】马塞尔•普鲁斯特,周克希译)(广西师范大学出版社 2015)
C#: 3 books in 1 – The Ultimate Beginner, Intermediate & Advanced Guides to Master C# Programming Quickly with No Experience(Mark Reed)(2022)
《现代信号处理》第二版(张贤达)
gRPC: Up and Running(Danesh Kuruppu, Kasun Indrasiri)(O’Reilly Media 2020)
身份的焦虑(译文经典)(【英】阿兰·德波顿)(Shanghai Translation Publishing House 2018)
自动化夹具图集 ((日)藤森洋三)(科学出版社 1982)
梦溪笔谈(张富祥译, 沈括, 1031-1095, Fuxiang Zhang)(北京:中华书局 2009)
张天翼小说(张天翼)(浙江文艺出版社 2010)
机器学习与应用(雷明)(清华大学出版社 2019)
地球无应答(中国科幻银河奖最佳新人奖得主首部科幻短篇集!改良基因会不会带来灾难?置身未来,看时间空间合伙变魔术!)(王诺诺 [王诺诺])(湖南文艺出版社 2019)
6LoWPAN: The Wireless Embedded Internet (Wiley Series on Communications Networking & Distributed Systems)(Zach Shelby, Carsten Bormann)(Wiley 2010)
Wyrdwalkers: Techniques of Northern-Tradition Shamanism(Raven Kaldera)(2013)
数字信号处理 基于计算机的方法 原书第4版 英文改编版((美)桑吉特·米特拉著;阔永红改编)(北京:电子工业出版社 2011)
热门推荐
1
PHP 7(Tutorials Point)(Tutorials Point 2016)
2
The Murder After the Night Before(Katy Brent)(HQ Digital 2024)
3
金田一探案集2021(絶版近10年,重磅归来!推理高峰典范,江户川乱步、青山刚昌推荐。惊骇悬念+诡秘人性,入坑推理佳选,一套10本过足瘾!精美和风装帧,日本系列销量超5500万册)(横沟正史)(壹页科技 2021)
4
Web前端技术丛书:新时期的Node.js入门(李锴)(清华大学出版社 2017)
5
翻译辨误2(图文版)(陈德彰)(外语教学与研究出版社 2011)
6
UG NX 10.0 数控加工教程(北京兆迪科技有限公司)(机械工业出版社 2016)
7
Children’s language: connecting reading, writing, and talk(Judith Wells Lindfors)(Teachers College Press 2008)
8
《追寻逝去的时光》读本(最通透的普鲁斯特译本,“大跨度”节选七卷本,一字不易;附赠《普罗斯特纸上展览》)(【法】马塞尔•普鲁斯特,周克希译)(广西师范大学出版社 2015)
9
C#: 3 books in 1 – The Ultimate Beginner, Intermediate & Advanced Guides to Master C# Programming Quickly with No Experience(Mark Reed)(2022)
10
《现代信号处理》第二版(张贤达)
11
gRPC: Up and Running(Danesh Kuruppu, Kasun Indrasiri)(O’Reilly Media 2020)
12
身份的焦虑(译文经典)(【英】阿兰·德波顿)(Shanghai Translation Publishing House 2018)
13
自动化夹具图集 ((日)藤森洋三)(科学出版社 1982)
14
梦溪笔谈(张富祥译, 沈括, 1031-1095, Fuxiang Zhang)(北京:中华书局 2009)
15
张天翼小说(张天翼)(浙江文艺出版社 2010)
16
机器学习与应用(雷明)(清华大学出版社 2019)
17
地球无应答(中国科幻银河奖最佳新人奖得主首部科幻短篇集!改良基因会不会带来灾难?置身未来,看时间空间合伙变魔术!)(王诺诺 [王诺诺])(湖南文艺出版社 2019)
18
6LoWPAN: The Wireless Embedded Internet (Wiley Series on Communications Networking & Distributed Systems)(Zach Shelby, Carsten Bormann)(Wiley 2010)
19
Wyrdwalkers: Techniques of Northern-Tradition Shamanism(Raven Kaldera)(2013)
20
数字信号处理 基于计算机的方法 原书第4版 英文改编版((美)桑吉特·米特拉著;阔永红改编)(北京:电子工业出版社 2011)