|
题名:
|
逻辑与演绎科学方法论导论 luo ji yu yan yi ke xue fang fa lun dao lun / (波)塔尔斯基(Afred Tarski)著 , 周礼全, 吴允曾, 晏成书译 |
|
ISBN:
|
978-7-100-00520-3 价格： CNY25.00 |
|
语种:
|
chi |
|
载体形态:
|
258页 21cm |
|
出版发行:
|
出版地： 北京 出版社： 商务印书馆 出版日期： 1963 |
|
内容提要:
|
本书是一本数理逻辑的入门书，全书共分两部分共十章节，具体包括：论变项的用法、论语句演算、类的理论、论演绎方法、关于所构造的理论的方法论的讨论等。 |
|
主题词:
|
数理逻辑 理论 |
|
主题词:
|
演绎推理 方法论 |
|
中图分类法:
|
O141 版次： 5 |
|
中图分类法:
|
B812.23 版次： 5 |
|
主要责任者:
|
塔尔斯基 ta er si ji 著 |
|
次要责任者:
|
周礼全 zhou li quan 译 |
|
次要责任者:
|
吴允曾 wu yun zeng 译 |
|
次要责任者:
|
晏成书 yan cheng shu 译 |
|
索书号:
|
O141/4692 |