|
题名:
|
数理逻辑教程 / John L. Bell, Moshe Machover , |
|
ISBN:
|
978-7-5100-8630-4 价格： CNY98.00 |
|
语种:
|
eng |
|
载体形态:
|
xviii, 599页 23cm |
|
出版发行:
|
出版地： 北京 出版社： 世界图书出版公司北京公司 出版日期： 2015 |
|
内容提要:
|
本书内容包括：预备知识；数学逻辑基础；一阶逻辑；一阶逻辑(连续的)；布尔代数；模理论；递归理论(连续的)；直觉一阶逻辑；公理集合论；非标准分析；一般索引；符号索引。 |
|
主题词:
|
数理逻辑 英文 |
|
中图分类法:
|
O141 版次： 5 |
|
主要责任者:
|
贝尔 著 |
|
主要责任者:
|
马霍维奇 著 |
|
版次:
|
影印版 |
|
责任者附注:
|
责任者Bell规范汉译姓: 贝尔 ; 责任者Machover规范汉译姓: 马霍维奇 |
|
索书号:
|
5 |