题名:
|
逻辑与演绎科学方法论导论 [ 专著] luo ji yu yan yi ke xue fang fa lun dao lun / (波)塔尔斯基著 , 周礼全,吴允曾,晏成书译 |
ISBN:
|
978-7-100-07801-6 价格: CNY28.00 |
语种:
|
chi |
载体形态:
|
259页 21cm |
出版发行:
|
出版地: 北京 出版社: 商务印书馆 出版日期: 2011 |
内容提要:
|
本书分为逻辑的元素,演绎方法、逻辑和方法论在构造数学理论中的应用两大部分。内容包括:“论变项的用法”、“论语句演算”、“同一理论”、“类的理论”、“关系的理论”等。 |
主题词:
|
数理逻辑 理论 |
主题词:
|
演绎推理 方法论 |
中图分类法:
|
O141 版次: 5 |
中图分类法:
|
B812.23 版次: 5 |
主要责任者:
|
塔尔斯基 ta er si ji 著 |
次要责任者:
|
周礼全 zhou li quan 译 |
次要责任者:
|
吴允曾 wu yun zeng 译 |
次要责任者:
|
晏成书 yan cheng shu 译 |