搜索
首页
读书
首页
读书
学习教育
数理逻辑引论(王宪钧)(北京大学出版社 1998)
反馈
书名
数理逻辑引论(王宪钧)(北京大学出版社 1998)
内容简介
书名:数理逻辑引论
出版社:北京大学出版社
作者:王宪钧
出版年份:1998
电子书格式:
pdf
简介:《数理逻辑引论》是王宪钧教授编著的一部深入浅出的逻辑学教材,北京大学出版社1998年出版。本书系统介绍了数理逻辑的基本概念、命题逻辑、谓词逻辑、公理系统等内容,适合对逻辑学感兴趣的读者及相关专业的学生使用。多考网提供免费下载,助您高效学习。
ISBN:
下载地址
下载数理逻辑引论(王宪钧)(北京大学出版社 1998)
猜你喜欢
Selenium with Python Simplified For Beginners – Simple(BASU, S)(2020)
Defensive C++ Arduino Programming(Delsol, Michèle)(Self-publish via Amazon 2023)
C# 13 Programming Essentials – .NET 9 Edition: Learn C# and .Net 9 Programming using Visual Studio Code(Neil Smyth)(2024)
C++ Programming: An Object-Oriented Approach (Editable)(Behrouz A. Forouzan, Richard F. Gilberg)(McGraw-Hill College 2019)
The Book of Dash: Build Dashboards with Python and Plotly(Adam Schroeder, Christian Mayer, Ann Marie Ward)(No Starch Press 2022)
Python Codex: Techniques for Mastering Python – Volume I(Jonathan Froiland)(Autopublished 2024)
Learn to Program, 3rd Edition(Chris Pine)(Pragmatic Bookshelf 2021)
Python for Beginners: A Step-by-Step Guide to Master the Basics of Python with Easy Projects(Lena Neill)(Autopublished 2024)
Wicked Cool Shell Scripts(Dave Taylor, Brandon Perry)(No Starch Press 2016)
Learn Autonomous Programming with Python: Utilize Python’s capabilities in artificial intelligence, machine learning, deep learning and robotic process automation(P Divadkar, Varun)(BPB Publications 2024)
大家都喜欢
金田一探案集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)
自动化夹具图集 ((日)藤森洋三)(科学出版社 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)
机器学习与应用(雷明)(清华大学出版社 2019)
图神经网络概论与风控场景应用(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
Children’s language: connecting reading, writing, and talk(Judith Wells Lindfors)(Teachers College Press 2008)
10
《现代信号处理》第二版(张贤达)
11
gRPC: Up and Running(Danesh Kuruppu, Kasun Indrasiri)(O’Reilly Media 2020)
12
身份的焦虑(译文经典)(【英】阿兰·德波顿)(Shanghai Translation Publishing House 2018)
13
张天翼小说(张天翼)(浙江文艺出版社 2010)
14
自动化夹具图集 ((日)藤森洋三)(科学出版社 1982)
15
梦溪笔谈(张富祥译, 沈括, 1031-1095, Fuxiang Zhang)(北京:中华书局 2009)
16
地球无应答(中国科幻银河奖最佳新人奖得主首部科幻短篇集!改良基因会不会带来灾难?置身未来,看时间空间合伙变魔术!)(王诺诺 [王诺诺])(湖南文艺出版社 2019)
17
6LoWPAN: The Wireless Embedded Internet (Wiley Series on Communications Networking & Distributed Systems)(Zach Shelby, Carsten Bormann)(Wiley 2010)
18
Wyrdwalkers: Techniques of Northern-Tradition Shamanism(Raven Kaldera)(2013)
19
机器学习与应用(雷明)(清华大学出版社 2019)
20
图神经网络概论与风控场景应用(DataFunConunknown)(DataFunCon 2022)