搜索
首页
读书
首页
读书
学习教育
数理逻辑初步(莫绍揆)(上海人民出版社 1980)
反馈
书名
数理逻辑初步(莫绍揆)(上海人民出版社 1980)
内容简介
书名:数理逻辑初步
出版社:上海人民出版社
作者:莫绍揆
出版年份:1980
电子书格式:
pdf
简介:《数理逻辑初步》是莫绍揆编著的一本经典教材,由上海人民出版社于1980年出版。此书系统地介绍了数理逻辑的基础知识,涵盖命题逻辑、谓词逻辑、证明理论和模型理论等内容,适合作为高等院校逻辑学课程的教材或自学者入门读物。书中不仅有理论讲解,还配有大量习题,帮助读者深入理解和应用数理逻辑。多考网提供免费下载,让更多人能够学习和研究数理逻辑。
ISBN:
下载地址
下载数理逻辑初步(莫绍揆)(上海人民出版社 1980)
猜你喜欢
Procedural Content Generation for C++ Game Development(Green, Dale)(Packt Publishing 2016)
Taylor Swift – Evermore Piano Vocal Guitar Songbook(Taylor Swift)(Hal Leonard Publishing Corporation 2021)
Digital Project Practice for Banking and FinTech(Tobias Endress)(CRC Press 2024)
Modern C (MEAP v4) 3ed 2024: Covers the C23 standard(Jens Gustedt)(Manning Publications 2024)
Practical Linux System Administration(Ken Hess)(O’Reilly Media, Inc. 2023)
Statistics for Economists(Linus Yamane)(World Scientific Publishing Company 2023)
Computer Systems. Digital Design, Fundamentals of Computer Architecture and ARM Assembly Language(Ata Elahi)(Springer 2022)
C++ for Everyone, 2nd Edition(Cay S. Horstmann)(John Wiley & Sons 2011)
Pro C# 10 with .NET 6 : Foundational Principles and Practices in Programming(Andrew Troelsen; Phil Japikse)(Apress 2022)
Python(Joseph Fontenrose)(Univ of California Press 2022)
大家都喜欢
金田一探案集2021(絶版近10年,重磅归来!推理高峰典范,江户川乱步、青山刚昌推荐。惊骇悬念+诡秘人性,入坑推理佳选,一套10本过足瘾!精美和风装帧,日本系列销量超5500万册)(横沟正史)(壹页科技 2021)
PHP 7(Tutorials Point)(Tutorials Point 2016)
The Murder After the Night Before(Katy Brent)(HQ Digital 2024)
Web前端技术丛书:新时期的Node.js入门(李锴)(清华大学出版社 2017)
翻译辨误2(图文版)(陈德彰)(外语教学与研究出版社 2011)
《追寻逝去的时光》读本(最通透的普鲁斯特译本,“大跨度”节选七卷本,一字不易;附赠《普罗斯特纸上展览》)(【法】马塞尔•普鲁斯特,周克希译)(广西师范大学出版社 2015)
C#: 3 books in 1 – The Ultimate Beginner, Intermediate & Advanced Guides to Master C# Programming Quickly with No Experience(Mark Reed)(2022)
UG NX 10.0 数控加工教程(北京兆迪科技有限公司)(机械工业出版社 2016)
《现代信号处理》第二版(张贤达)
Children’s language: connecting reading, writing, and talk(Judith Wells Lindfors)(Teachers College Press 2008)
gRPC: Up and Running(Danesh Kuruppu, Kasun Indrasiri)(O’Reilly Media 2020)
身份的焦虑(译文经典)(【英】阿兰·德波顿)(Shanghai Translation Publishing House 2018)
张天翼小说(张天翼)(浙江文艺出版社 2010)
机器学习与应用(雷明)(清华大学出版社 2019)
自动化夹具图集 ((日)藤森洋三)(科学出版社 1982)
梦溪笔谈(张富祥译, 沈括, 1031-1095, Fuxiang Zhang)(北京:中华书局 2009)
地球无应答(中国科幻银河奖最佳新人奖得主首部科幻短篇集!改良基因会不会带来灾难?置身未来,看时间空间合伙变魔术!)(王诺诺 [王诺诺])(湖南文艺出版社 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)
图神经网络概论与风控场景应用(DataFunConunknown)(DataFunCon 2022)
热门推荐
1
金田一探案集2021(絶版近10年,重磅归来!推理高峰典范,江户川乱步、青山刚昌推荐。惊骇悬念+诡秘人性,入坑推理佳选,一套10本过足瘾!精美和风装帧,日本系列销量超5500万册)(横沟正史)(壹页科技 2021)
2
PHP 7(Tutorials Point)(Tutorials Point 2016)
3
The Murder After the Night Before(Katy Brent)(HQ Digital 2024)
4
Web前端技术丛书:新时期的Node.js入门(李锴)(清华大学出版社 2017)
5
翻译辨误2(图文版)(陈德彰)(外语教学与研究出版社 2011)
6
《追寻逝去的时光》读本(最通透的普鲁斯特译本,“大跨度”节选七卷本,一字不易;附赠《普罗斯特纸上展览》)(【法】马塞尔•普鲁斯特,周克希译)(广西师范大学出版社 2015)
7
C#: 3 books in 1 – The Ultimate Beginner, Intermediate & Advanced Guides to Master C# Programming Quickly with No Experience(Mark Reed)(2022)
8
UG NX 10.0 数控加工教程(北京兆迪科技有限公司)(机械工业出版社 2016)
9
《现代信号处理》第二版(张贤达)
10
Children’s language: connecting reading, writing, and talk(Judith Wells Lindfors)(Teachers College Press 2008)
11
gRPC: Up and Running(Danesh Kuruppu, Kasun Indrasiri)(O’Reilly Media 2020)
12
身份的焦虑(译文经典)(【英】阿兰·德波顿)(Shanghai Translation Publishing House 2018)
13
张天翼小说(张天翼)(浙江文艺出版社 2010)
14
机器学习与应用(雷明)(清华大学出版社 2019)
15
自动化夹具图集 ((日)藤森洋三)(科学出版社 1982)
16
梦溪笔谈(张富祥译, 沈括, 1031-1095, Fuxiang Zhang)(北京:中华书局 2009)
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
图神经网络概论与风控场景应用(DataFunConunknown)(DataFunCon 2022)