| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
文献所属馆:
文献所属馆:
逻辑与演绎科学方法论导论, (波)塔尔斯基(Afred Tarski)著 |
|
|
ISBN:
|
978-7-100-07801-6 价格： CNY28.00 |
|
语种:
|
chi |
|
题名:
|
逻辑与演绎科学方法论导论 luo ji yu yan yi ke xue fang fa lun dao lun / (波)塔尔斯基(Afred Tarski)著 , 周礼全，吴允曾，晏成书译 |
|
出版发行:
|
出版地： 北京 出版社： 商务印书馆 出版日期： 2011 |
|
载体形态:
|
259页 21cm |
|
摘要:
|
本书分为逻辑的元素，演绎方法、逻辑和方法论在构造数学理论中的应用两大部分，其内容包括论变项的用法、论语句演算、同一理论、类的理论、关系的理论等。 |
|
主题:
|
数学逻辑 理论 |
|
中图分类:
|
O141 版次： 5 |
|
主要著者:
|
塔尔斯基 ta er si ji 著 |
|
次要著者:
|
周礼全 zhou li quan 译 |
|
次要著者:
|
吴允曾 wu yun zeng 译 |
|
次要著者:
|
晏成书 yan cheng shu 译 |
|
标签:
|
相关主题:
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01469oam2 2200313 450 001| |010050020567 005| |20160904110528.8 010| |□a978-7-100-07801-6□dCNY28.00□- | |z7-100-07801-6 100| |□a20160904d2011 em y0chiy50 ea 101|1 |□achi□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(波)塔尔斯基(Afred Tarski)著□g周礼全，吴允曾，晏成书译 210| |□a北京□c商务印书馆□d2011 215| |□a259页□d21cm 225|2 |□a汉译世界学术名著丛书□i分科本·哲学 305| |□a据牛津大学出版社1946年校订本译出 312| |□a书内英文题名：Introduction to logic- | | and to the methodology of ded- | |uctive sciences 330| |□a本书分为逻辑的元素，演绎方法、逻辑和方法论在构造数学理论- | |中的应用两大部分，其内容包括论变项的用法、论语句演算、同一理- | |论、类的理论、关系的理论等。 462| 0|□12001 □a汉译世界学术名著丛书□i分科本·哲学 510|1 |□aIntroduction to logic and to- | | the methodology of deductive - | |sciences□zeng 606|0 |□a数学逻辑□x理论 690| |□aO141□v5 701| 0|□c(波)□a塔尔斯基□9ta er si ji□c(Tar- | |ski, Afred)□4著 702| 0|□a周礼全□9zhou li quan□4译 702| 0|□a吴允曾□9wu yun zeng□4译 702| 0|□a晏成书□9yan cheng shu□4译 801| 0|□aCN□bQXLIB□c20160904