搜索
首页
读书
首页
读书
人文社科
数理逻辑: 证明及其限度(杨跃 郝兆宽 杨睿之)(复旦大学出版社 2014)
反馈
书名
数理逻辑: 证明及其限度(杨跃 郝兆宽 杨睿之)(复旦大学出版社 2014)
内容简介
书名:数理逻辑: 证明及其限度
出版社:复旦大学出版社
作者:杨跃 / 郝兆宽 / 杨睿之
出版年份:2014
电子书格式:
pdf
简介:《数理逻辑:证明及其限度》是由杨跃、郝兆宽和杨睿之编著,复旦大学出版社于2014年出版的经典教材。本书深入探讨了数理逻辑的基本概念、证明方法及其在数学中的应用,适合逻辑学、数学、计算机科学等领域的学生及研究者阅读。无论是初学者还是专业人士,都能从中获益。多考网提供该书免费下载。
ISBN:9787309110258, 73091
下载地址
下载数理逻辑: 证明及其限度(杨跃 郝兆宽 杨睿之)(复旦大学出版社 2014)
猜你喜欢
甲骨文·冷战史(全10册 ) (甲骨文系列)(约翰·刘易斯·加迪斯,耶胡达·阿夫纳,劳伦斯·莱特,迈克尔·多布斯,野岛刚,英格里德·宗塔格,齐格弗里德·洛卡蒂斯,卡尔·施勒格尔,保罗·约翰逊)(社会科学文献出版社 2021)
《金函玉镜奇门遁甲秘笈全书(上)》诸葛亮.pdf(《金函玉镜奇门遁甲秘笈全书(上)》诸葛亮.pdf)
癌症·新知+癌症·真相(套装共2册)(李治中(菠萝) [未知])(清华大学出版社 2017)
樊登讲论语(樊登 [樊登])(北京联合出版公司 2021)
DK Eyewitness Travel Guide India 2008(DK Publishing)(Dorling Kindersley Publishing 2008)
图解易经(2012全新图解版) (紫图书库•宝典馆)(高永平 [高永平])(江西科学技术出版社 2012)
图解中国古代测绘学 撼龙经-扫描版(图解中国古代测绘学 撼龙经-扫描版)(陕西师范大学出版社)
波士顿画记(蒋彝, Yee Chiang)(上海人民出版社 2018)
清宫海错图(故宫博物院(文金祥))(故宫出版社 2014)
Humbly Submitting to Change – The Wilderness Experience(E’yen A. Gardner)(CreateSpace 2014)
大家都喜欢
歌德诗选((德)歌德著)(2000)
民间文学资料 第61集 苗族祭鼓词、贾理词(贵州省民族事务委员会,中国民间文艺研究会贵州分会编)(贵州省民族事务委员会 1983)
Certified Kubernetes Administrator (CKA) Study Guide (Third Early Release) (Benjamin Muschko)
给孩子的中国历史故事(大星文化出品,新版•作家榜插图珍藏本) (作家榜经典文库)(汤芸畦)(浙江文艺出版社 2017)
九型人格(插图精读本)(问道, 黄亚男)(华夏出版社 2014)
Metropolis: A History of the City, Humankind’s Greatest Invention(Ben Wilson)(Doubleday 2020)
流畅的 Python(第2版)
Kubernetes Security and Observability (Alex Pollitt Manish Sampat)
Python3标准库
好好接话 (山口拓朗 [山口拓朗])
托妮·莫里森作品集10册【最蓝的眼睛、所罗门之歌、秀拉、柏油娃娃、宠儿、爵士乐、天堂、爱、恩惠、家园】(作者:(美国)托妮·莫里森)(2015)
诚实的手艺((日)美帆著;武岳等译)(长沙:湖南美术出版社 2016)
赤裸的午餐 俊友([美]巴勒斯著,[法]莫泊桑著)
硅谷钢铁侠:埃隆·马斯克的冒险人生([美]阿什利·万斯)(中信出版社 2017)
剑桥高级英语语法
古典時代瘋狂史 = Histoire de La Folie a L’age Classique(米歇爾 · 傅柯 (Michel Foucault) 著 ; 林志明 譯)(時報文化出版企業股份有限公司 2017)
Good Night Stories For Rebel Girls(Elena Favilli, Francesca Cavallo)(Timbuktu Labs 2016)
PCI Express体系结构导读(王齐)(机械工业出版社 2010)
Virtual instrumentation using LabVIEW : principles and practices of graphical programming(Sanjay Gupta; Joseph John)(Tata McGraw-Hill 2010)
写给内向者的自我提升书4册套装 隐形人格+深度影响+爱自己的人自带光芒+恰到好处的挫折(海伦·麦格拉斯, 凯伦·梁, 雅基·马森, 格雷格·S·里德, 哈泽尔·爱德华兹, 沈英, 贾琢, 王丽)(九州出版社 2018)
热门推荐
1
歌德诗选((德)歌德著)(2000)
2
民间文学资料 第61集 苗族祭鼓词、贾理词(贵州省民族事务委员会,中国民间文艺研究会贵州分会编)(贵州省民族事务委员会 1983)
3
Certified Kubernetes Administrator (CKA) Study Guide (Third Early Release) (Benjamin Muschko)
4
给孩子的中国历史故事(大星文化出品,新版•作家榜插图珍藏本) (作家榜经典文库)(汤芸畦)(浙江文艺出版社 2017)
5
九型人格(插图精读本)(问道, 黄亚男)(华夏出版社 2014)
6
Metropolis: A History of the City, Humankind’s Greatest Invention(Ben Wilson)(Doubleday 2020)
7
流畅的 Python(第2版)
8
Kubernetes Security and Observability (Alex Pollitt Manish Sampat)
9
Python3标准库
10
好好接话 (山口拓朗 [山口拓朗])
11
托妮·莫里森作品集10册【最蓝的眼睛、所罗门之歌、秀拉、柏油娃娃、宠儿、爵士乐、天堂、爱、恩惠、家园】(作者:(美国)托妮·莫里森)(2015)
12
诚实的手艺((日)美帆著;武岳等译)(长沙:湖南美术出版社 2016)
13
赤裸的午餐 俊友([美]巴勒斯著,[法]莫泊桑著)
14
硅谷钢铁侠:埃隆·马斯克的冒险人生([美]阿什利·万斯)(中信出版社 2017)
15
剑桥高级英语语法
16
古典時代瘋狂史 = Histoire de La Folie a L’age Classique(米歇爾 · 傅柯 (Michel Foucault) 著 ; 林志明 譯)(時報文化出版企業股份有限公司 2017)
17
Good Night Stories For Rebel Girls(Elena Favilli, Francesca Cavallo)(Timbuktu Labs 2016)
18
PCI Express体系结构导读(王齐)(机械工业出版社 2010)
19
Virtual instrumentation using LabVIEW : principles and practices of graphical programming(Sanjay Gupta; Joseph John)(Tata McGraw-Hill 2010)
20
写给内向者的自我提升书4册套装 隐形人格+深度影响+爱自己的人自带光芒+恰到好处的挫折(海伦·麦格拉斯, 凯伦·梁, 雅基·马森, 格雷格·S·里德, 哈泽尔·爱德华兹, 沈英, 贾琢, 王丽)(九州出版社 2018)