搜索
首页
读书
首页
读书
学习教育
数理逻辑初步(莫绍揆)(上海人民出版社 1980)
反馈
书名
数理逻辑初步(莫绍揆)(上海人民出版社 1980)
内容简介
书名:数理逻辑初步
出版社:上海人民出版社
作者:莫绍揆
出版年份:1980
电子书格式:
pdf
简介:《数理逻辑初步》是莫绍揆编著的一本经典教材,由上海人民出版社于1980年出版。此书系统地介绍了数理逻辑的基础知识,涵盖命题逻辑、谓词逻辑、证明理论和模型理论等内容,适合作为高等院校逻辑学课程的教材或自学者入门读物。书中不仅有理论讲解,还配有大量习题,帮助读者深入理解和应用数理逻辑。多考网提供免费下载,让更多人能够学习和研究数理逻辑。
ISBN:
下载地址
下载数理逻辑初步(莫绍揆)(上海人民出版社 1980)
猜你喜欢
Nouns and Pronouns in Sanskrit(Kedar S. Naphade, Narhari Acharya)
塔河油田碳酸盐岩缝洞型油藏开发技术(窦之林等著, 窦之林等著, 窦之林)(北京:石油工业出版社 2012)
Oracle PL SQL by Example (4th Edition)(Benjamin Rosenzweig, Elena Silvestrova Rakhimov)(Prentice Hall 2008)
PostgreSQL 9 Admin Cookbook(Simon Riggs, Hannu Krosing)(Packt Publishing 2010)
Forecasting Expected Returns in the Financial Markets(Stephen Satchell)(Academic Press 2007)
C How to Program(Harvey M. Deitel, Paul J. Deitel)(Prentice Hall 1994)
Computer Graphics(Hill F.S.)(Macmillan 1990)
语文读本 第5册(语文出版社教材研究中心编)(北京:语文出版社 2005)
Learning UML 2.0(Russ Miles, Kim Hamilton)(O’Reilly Media 2006)
One-Person Puppet Plays(Denise Anton Wright)(Teacher Ideas Press 1990)
大家都喜欢
歌德诗选((德)歌德著)(2000)
民间文学资料 第61集 苗族祭鼓词、贾理词(贵州省民族事务委员会,中国民间文艺研究会贵州分会编)(贵州省民族事务委员会 1983)
Certified Kubernetes Administrator (CKA) Study Guide (Third Early Release) (Benjamin Muschko)
Kubernetes Security and Observability (Alex Pollitt Manish Sampat)
藤泽周平作品集(共5册)(日本武侠小说泰斗藤泽周平高口碑小说集!豆瓣评分8.8!村上春树痴迷,宫部美雪盛赞,侯孝贤推荐!看过金庸,再看藤泽,家国大义,天光云影,不同的观感体验!)(藤泽周平 [藤泽周平])(译林出版社 2021)
丁丁在刚果(Tintin in Chinese)(Hergé)(中国少年儿童出版社)
服装裁剪实用手册:领型篇(杨玉平, 鲍卫君)(东华大学出版社 2012)
MATLAB 机器学习第 2 部分:机器学习快速入门(it-ebooks)(iBooker it-ebooks 2020)
经典咏流传诗词曲赋集套装21册(李白 & 王维 & 屈原 & 郭茂倩 & 李煜 & 李白 & 王维等 & 苏轼 & 朱孝臧 & 王应麟 & 秦观 & 佚名罗贯中 & 王冕 & 杨慎 & 李渔 & 袁枚 & 车万育 & 纳兰性德 & 曹雪芹 & 仓央嘉措 & 李叔同 & 等 [李白])(阅览文化 2018)
青山七惠小说集(套装共4册)(青山七惠(Aoyama Nanae) [qingshanqihui(Aoyama Nanae)])(上海译文出版社 2013)
C++黑客编程揭秘与防范第三版(冀云)(人民邮电出版社 2019)
有间文库:罗织经(把握计谋与人性之间的和谐平衡,成大事而不损声名,得大利而不害良知) (来俊臣 [来俊臣])
活着(余华)(作家出版社 2021)
流畅的 Python(第2版)
Certified Kubernetes Application Developer (CKAD) Study Guide In-Depth Guidance and Practice (Benjamin Muschko)
CKA 考试流程(报名、约考、注意) – 2022-07-02
Python3标准库
好好接话 (山口拓朗 [山口拓朗])
中国式饭局读心术 (郑德明)
How to Become a Straight-A Student (Cal Newport)
热门推荐
1
歌德诗选((德)歌德著)(2000)
2
民间文学资料 第61集 苗族祭鼓词、贾理词(贵州省民族事务委员会,中国民间文艺研究会贵州分会编)(贵州省民族事务委员会 1983)
3
Certified Kubernetes Administrator (CKA) Study Guide (Third Early Release) (Benjamin Muschko)
4
Kubernetes Security and Observability (Alex Pollitt Manish Sampat)
5
藤泽周平作品集(共5册)(日本武侠小说泰斗藤泽周平高口碑小说集!豆瓣评分8.8!村上春树痴迷,宫部美雪盛赞,侯孝贤推荐!看过金庸,再看藤泽,家国大义,天光云影,不同的观感体验!)(藤泽周平 [藤泽周平])(译林出版社 2021)
6
丁丁在刚果(Tintin in Chinese)(Hergé)(中国少年儿童出版社)
7
服装裁剪实用手册:领型篇(杨玉平, 鲍卫君)(东华大学出版社 2012)
8
MATLAB 机器学习第 2 部分:机器学习快速入门(it-ebooks)(iBooker it-ebooks 2020)
9
经典咏流传诗词曲赋集套装21册(李白 & 王维 & 屈原 & 郭茂倩 & 李煜 & 李白 & 王维等 & 苏轼 & 朱孝臧 & 王应麟 & 秦观 & 佚名罗贯中 & 王冕 & 杨慎 & 李渔 & 袁枚 & 车万育 & 纳兰性德 & 曹雪芹 & 仓央嘉措 & 李叔同 & 等 [李白])(阅览文化 2018)
10
青山七惠小说集(套装共4册)(青山七惠(Aoyama Nanae) [qingshanqihui(Aoyama Nanae)])(上海译文出版社 2013)
11
C++黑客编程揭秘与防范第三版(冀云)(人民邮电出版社 2019)
12
有间文库:罗织经(把握计谋与人性之间的和谐平衡,成大事而不损声名,得大利而不害良知) (来俊臣 [来俊臣])
13
活着(余华)(作家出版社 2021)
14
流畅的 Python(第2版)
15
Certified Kubernetes Application Developer (CKAD) Study Guide In-Depth Guidance and Practice (Benjamin Muschko)
16
CKA 考试流程(报名、约考、注意) – 2022-07-02
17
Python3标准库
18
好好接话 (山口拓朗 [山口拓朗])
19
中国式饭局读心术 (郑德明)
20
How to Become a Straight-A Student (Cal Newport)