搜索
首页
读书
首页
读书
学习教育
数理逻辑初步(莫绍揆)(上海人民出版社 1980)
反馈
书名
数理逻辑初步(莫绍揆)(上海人民出版社 1980)
内容简介
书名:数理逻辑初步
出版社:上海人民出版社
作者:莫绍揆
出版年份:1980
电子书格式:
pdf
简介:《数理逻辑初步》是莫绍揆编著的一本经典教材,由上海人民出版社于1980年出版。此书系统地介绍了数理逻辑的基础知识,涵盖命题逻辑、谓词逻辑、证明理论和模型理论等内容,适合作为高等院校逻辑学课程的教材或自学者入门读物。书中不仅有理论讲解,还配有大量习题,帮助读者深入理解和应用数理逻辑。多考网提供免费下载,让更多人能够学习和研究数理逻辑。
ISBN:
下载地址
下载数理逻辑初步(莫绍揆)(上海人民出版社 1980)
猜你喜欢
HTML5 入门经典 (华章程序员书库)(刘欣 & 王雨竹)(机械工业出版社 2013)
微积分(《微积分》编写组编)(上海:上海科学技术出版社 1978)
Android智能手机APP界面设计实战教程(金景文化)(人民邮电出版社 2014)
JavaFX Rich Client Programming on the NetBeans Platform(Paul Anderson, Gail Anderson)(Addison-Wesley Professional 2014)
初中语文自读课本 七年级上册 翻过那座山(课程教材研究所, 中学语文教材教材研究开发中心)(人民教育出版社 2002)
白话机器学习的数学(立石贤吾)(人民邮电出版社 2020)
交通学教程(中央陆军军官学校洛阳分校编)(中央陆军军官学校洛阳分校 1935)
物联网与传感器技术(范茂军)(2012)
中学语文修辞举例(姚国亮,余彬编)(青年书屋 1982)
SQL Server 2000 Stored Procedures Handbook(Tony Bain, Louis Davidson, Robin Dewson, Chuck Hawkins, Tony Bain, Louise Davidson, Robin Dewson, Chuck Hawkins)(Apress 2003)
大家都喜欢
歌德诗选((德)歌德著)(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)
Kubernetes Security and Observability (Alex Pollitt Manish Sampat)
好好接话 (山口拓朗 [山口拓朗])
托妮·莫里森作品集10册【最蓝的眼睛、所罗门之歌、秀拉、柏油娃娃、宠儿、爵士乐、天堂、爱、恩惠、家园】(作者:(美国)托妮·莫里森)(2015)
赤裸的午餐 俊友([美]巴勒斯著,[法]莫泊桑著)
硅谷钢铁侠:埃隆·马斯克的冒险人生([美]阿什利·万斯)(中信出版社 2017)
八國聯軍乃正義之師(劉淇昆)(時報出版 2021)
古典時代瘋狂史 = Histoire de La Folie a L’age Classique(米歇爾 · 傅柯 (Michel Foucault) 著 ; 林志明 譯)(時報文化出版企業股份有限公司 2017)
Good Night Stories For Rebel Girls(Elena Favilli, Francesca Cavallo)(Timbuktu Labs 2016)
The Flying Brownie: 100 Terrific Homemade Food Gifts for Friends & Loved Ones Far Away(Shirley Fan)(Harvard Common Press 2013)
Virtual instrumentation using LabVIEW : principles and practices of graphical programming(Sanjay Gupta; Joseph John)(Tata McGraw-Hill 2010)
写给内向者的自我提升书4册套装 隐形人格+深度影响+爱自己的人自带光芒+恰到好处的挫折(海伦·麦格拉斯, 凯伦·梁, 雅基·马森, 格雷格·S·里德, 哈泽尔·爱德华兹, 沈英, 贾琢, 王丽)(九州出版社 2018)
论宗教大法官的传说(罗赞诺夫,张百春)(华夏出版社 2007)
Essential C++(Stanley B. Lippman)(Addison-Wesley 2000)
卫国战(时代出版社)
热门推荐
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
Kubernetes Security and Observability (Alex Pollitt Manish Sampat)
8
好好接话 (山口拓朗 [山口拓朗])
9
托妮·莫里森作品集10册【最蓝的眼睛、所罗门之歌、秀拉、柏油娃娃、宠儿、爵士乐、天堂、爱、恩惠、家园】(作者:(美国)托妮·莫里森)(2015)
10
赤裸的午餐 俊友([美]巴勒斯著,[法]莫泊桑著)
11
硅谷钢铁侠:埃隆·马斯克的冒险人生([美]阿什利·万斯)(中信出版社 2017)
12
八國聯軍乃正義之師(劉淇昆)(時報出版 2021)
13
古典時代瘋狂史 = Histoire de La Folie a L’age Classique(米歇爾 · 傅柯 (Michel Foucault) 著 ; 林志明 譯)(時報文化出版企業股份有限公司 2017)
14
Good Night Stories For Rebel Girls(Elena Favilli, Francesca Cavallo)(Timbuktu Labs 2016)
15
The Flying Brownie: 100 Terrific Homemade Food Gifts for Friends & Loved Ones Far Away(Shirley Fan)(Harvard Common Press 2013)
16
Virtual instrumentation using LabVIEW : principles and practices of graphical programming(Sanjay Gupta; Joseph John)(Tata McGraw-Hill 2010)
17
写给内向者的自我提升书4册套装 隐形人格+深度影响+爱自己的人自带光芒+恰到好处的挫折(海伦·麦格拉斯, 凯伦·梁, 雅基·马森, 格雷格·S·里德, 哈泽尔·爱德华兹, 沈英, 贾琢, 王丽)(九州出版社 2018)
18
论宗教大法官的传说(罗赞诺夫,张百春)(华夏出版社 2007)
19
Essential C++(Stanley B. Lippman)(Addison-Wesley 2000)
20
卫国战(时代出版社)