|
题名:
|
数理逻辑 / H.-D. Ebbinghaus, J. Flum,W. Thomas著 , |
|
ISBN:
|
978-7-5192-5572-5 价格： CNY89.00 |
|
语种:
|
eng |
|
载体形态:
|
10,289页 25cm |
|
出版发行:
|
出版地： 北京 出版社： 世界图书出版有限公司北京分公司 出版日期： 2019 |
|
内容提要:
|
本书从一阶逻辑以及它在数学基础中的作用的讲述开始,阐述了Trachtenbrot的不可判定性理论,基础等值理论的Fraisse特性,一阶逻辑最大化的Lindstrom定理以及逻辑程序设计的基础这些经典的知识点。 |
|
主题词:
|
数理逻辑 |
|
中图分类法:
|
O141 版次： 5 |
|
主要责任者:
|
埃宾豪斯 著 |
|
主要责任者:
|
Flum Flum 著 |
|
主要责任者:
|
Thomas Thomas 著 |
|
版次:
|
影印版 |
|
附注:
|
数学经典 |
|
索书号:
|
3 |