| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
文献所属馆:
文献所属馆:
逻辑与演绎科学方法论导论, (波)塔尔斯基著 |
|
|
ISBN:
|
978-7-100-13639-6 价格： CNY35.00 |
|
语种:
|
chi |
|
题名:
|
逻辑与演绎科学方法论导论 luo ji yu yan yi ke xue fang fa lun dao lun / (波)塔尔斯基著 , 周礼全，吴允曾，晏成书译 |
|
出版发行:
|
出版地： 北京 出版社： 商务印书馆 出版日期： 2017 |
|
载体形态:
|
259页 21cm |
|
摘要:
|
本书是一本数理逻辑的入门书，全书共分逻辑的元素，演绎方法、逻辑和方法论在构造数学理论中的应用两部分，共十章，具体包括：论变项的用法、论语句演算、类的理论、论演绎方法、关于所构造的理论的方法论的讨论等。 |
|
主题:
|
数理逻辑 理论 |
|
主题:
|
演绎推理 方法论 |
|
中图分类:
|
O141 版次： 5 |
|
主要著者:
|
塔尔斯基 ta er si ji 著 |
|
次要著者:
|
周礼全 zhou li quan 译 |
|
次要著者:
|
吴允曾 wu yun zeng 译 |
|
次要著者:
|
晏成书 yan cheng shu 译 |
|
标签:
|
相关主题:
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01557oam2 2200325 450 001| |009042424 005| |20181102101552.6 010| |□a978-7-100-13639-6□dCNY35.00 100| |□a20181102d2017 em y0chiy50 ea 101|1 |□achi□beng□cpol 102| |□aCN□b110000 105| |□ay z 001yy 106| |□ar 200|1 |□a逻辑与演绎科学方法论导论□9luo ji yu yan - | |yi ke xue fang fa lun dao lun□- | |f(波)塔尔斯基著□g周礼全，吴允曾，晏成书译 210| |□a北京□c商务印书馆□d2017 215| |□a259页□d21cm 225|2 |□a汉译世界学术名著丛书□e120年纪念版·分科本□i哲学 330| |□a本书是一本数理逻辑的入门书，全书共分逻辑的元素，演绎方法- | |、逻辑和方法论在构造数学理论中的应用两部分，共十章，具体包括- | |：论变项的用法、论语句演算、类的理论、论演绎方法、关于所构造- | |的理论的方法论的讨论等。 461| 0|□12001 □a汉译世界学术名著丛书 462| 0|□12001 □a哲学 500|10|□a逻辑与演绎科学方法论导论□9luo ji yu yan - | |yi ke xue fang fa lun dao lun 510|1 |□aIntroduction to logic and to- | | the methodolgy of deductive s- | |ciences□zeng 606|0 |□a数理逻辑□x理论 606|0 |□a演绎推理□x方法论□x概论 690| |□aO141□v5 701| 0|□c(美)□a塔尔斯基□9ta er si ji□c(Tar- | |ski, Alfred□f1901-1983)□4著 702| 0|□a周礼全□9zhou li quan□f(1921-2008)□4译 702| 0|□a吴允曾□9wu yun zeng□4译 702| 0|□a晏成书□9yan cheng shu□4译 801| 0|□aCN□bQXLIB□c20181102