题名:
数理逻辑基础
/ 胡世华, 陆钟万著 ,
ISBN:
978-7-03-046422-4 价格： CNY98.00
语种:
chi
载体形态:
229-434页 图 24cm
出版发行:
出版地： 北京 出版社：
科学出版社
出版日期： 2015
内容提要:
本书共六部分，分上、下两册。下册内容包括：重言式、可靠性和完备性、形式数学系统等。
主题词:
数理逻辑
中图分类法:
O141 版次： 5
主要责任者:
胡世华
著
主要责任者:
陆钟万
著
版次:
[影印版]
索书号:
3